On the proof theory of Coquand's calculus of constructions

From MaRDI portal
Publication:5961667

DOI10.1016/S0168-0072(96)00008-5zbMath0873.03048OpenAlexW2059912506MaRDI QIDQ5961667

Jonathan P. Seldin

Publication date: 26 February 1997

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0168-0072(96)00008-5




Related Items (9)



Cites Work




This page was built for publication: On the proof theory of Coquand's calculus of constructions