The Open Calculus of Constructions: An Equational Type Theory with Dependent Types for Programming, Specification, and Interactive Theorem Proving

by Mark-Oliver Stehr
Citations:5 - 0 self