Coherent and Strongly Discrete Rings in Type Theory
Paper in proceeding, 2012
Formalization of mathematics
Coq
Constructive algebra
SSReflect
Author
Anders Mörtberg
University of Gothenburg
Thierry Coquand
University of Gothenburg
Vincent Siles
University of Gothenburg
CPP 2012, LNCS
Vol. 7679 273-288
Subject Categories
Algebra and Logic
Computer Science