@inproceedings{be78bb2c661947b6ac4a1ab4616f528e,
title = "A simple model construction for the calculus of constructions",
author = "M. Stefanova and J.H. Geuvers",
year = "1996",
doi = "10.1007/3-540-61780-9_74",
language = "English",
isbn = "3-540-61780-9",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "249--264",
editor = "S. Berardi and M. Coppo",
booktitle = "Types for Proofs and Programs (Proceedings TYPES'95, Torino, Italy, June 5-8, 1995, Selected Papers)",
address = "Germany",
}