Sign in

Towards Constructive Homological Algebra in Type Theory.

Thierry CoquandArnaud 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