The Implicit Calculus of Constructions as a Programming Language with Dependent Types
From MaRDI portal
Publication:5458373
DOI10.1007/978-3-540-78499-9_26zbMath1138.68356OpenAlexW1554068457MaRDI QIDQ5458373
Publication date: 11 April 2008
Published in: Foundations of Software Science and Computational Structures (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-78499-9_26
Related Items (5)
Linear Dependent Type Theory for Quantum Programming Languages ⋮ Extracting functional programs from Coq, in Coq ⋮ A dependent dependency calculus ⋮ Unnamed Item ⋮ Is Impredicativity Implicitly Implicit
Uses Software
Cites Work
This page was built for publication: The Implicit Calculus of Constructions as a Programming Language with Dependent Types