A simple model construction for the calculus of constructions

M. Stefanova, J.H. Geuvers

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

6 Citaten (Scopus)
Originele taal-2Engels
TitelTypes for Proofs and Programs (Proceedings TYPES'95, Torino, Italy, June 5-8, 1995, Selected Papers)
RedacteurenS. Berardi, M. Coppo
Plaats van productieBerlin
UitgeverijSpringer
Pagina's249-264
ISBN van geprinte versie3-540-61780-9
DOI's
StatusGepubliceerd - 1996

Publicatie series

NaamLecture Notes in Computer Science
Volume1158
ISSN van geprinte versie0302-9743

Citeer dit