Skip to main content

Contact Jonathan P. Seldin

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

Contact corresponding author