Deliverables: a categorical approach to program development in type theory

This publication has 9 references indexed in Scilit:

• ECC, an extended calculus of constructions
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• A Survey of the Project Automath
  Published by Elsevier ,1994
• Deliverables: a categorical approach to program development in type theory
  Published by Springer Nature ,1993
• Logical Frameworks
  Published by Cambridge University Press (CUP) ,1991
• Extracting ω's programs from proofs in the calculus of constructions
  Published by Association for Computing Machinery (ACM) ,1989
• Fibered categories and the foundations of naive category theory
  The Journal of Symbolic Logic, 1985
• Constructions: A higher order proof system for mechanizing mathematics
  Published by Springer Nature ,1985
• Indexed Categories and Their Applications
  Published by Springer Nature ,1978
• An axiomatic basis for computer programming
  Communications of the ACM, 1969