Towards Constructive Homological Algebra in Type Theory - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2007

Towards Constructive Homological Algebra in Type Theory

Abstract

This paper reports on ongoing work on the project of representing the Kenzo system in type theory.
Fichier principal
Vignette du fichier
v2.pdf (148.39 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

inria-00432525 , version 1 (16-11-2009)

Identifiers

Cite

Thierry Coquand, Arnaud Spiwack. Towards Constructive Homological Algebra in Type Theory. CALCULEMUS 2007, Jun 2007, Hagenberg, Austria. 12 p., ⟨10.1007/978-3-540-73086-6_4⟩. ⟨inria-00432525⟩
271 View
400 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More