Coquand's calculus of constructions: A mathematical foundation for a proof development system

From MaRDI portal
Publication:1201296

DOI10.1007/BF01211392zbMath0766.03007OpenAlexW2012195956MaRDI QIDQ1201296

Jonathan P. Seldin

Publication date: 17 January 1993

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01211392




Related Items (5)


Uses Software


Cites Work


This page was built for publication: Coquand's calculus of constructions: A mathematical foundation for a proof development system