Towards Constructive Homological Algebra in Type Theory.

Thierry Coquand Arnaud Spiwack

Published in: Calculemus/MKM (2007)

Keyphrases

algebraic geometry
theoretical basis
computational model
real world
case study
search algorithm
mathematical models
general theory
type checking
boolean algebra
database query languages