An Information System Interpretation of Martin-Löf′s Partial Type Theory with Universes
- 1 September 1993
- journal article
- Published by Elsevier in Information and Computation
- Vol. 106 (1) , 26-60
- https://doi.org/10.1006/inco.1993.1048
Abstract
No abstract availableKeywords
This publication has 0 references indexed in Scilit: