Herman Geuvers. Extending Models of Second Order Predicate Logic to Models of Second Dependent Type Theory. In Dirk van Dalen, Marc Bezem, editors, Computer Science Logic, 10th International Workshop, CSL 96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996, Selected Papers. Volume 1258 of Lecture Notes in Computer Science, pages 167-181, Springer, 1996.
@inproceedings{Geuvers96,
title = {Extending Models of Second Order Predicate Logic to Models of Second Dependent Type Theory},
author = {Herman Geuvers},
year = {1996},
tags = {logic, type theory},
researchr = {https://researchr.org/publication/Geuvers96},
cites = {0},
citedby = {0},
pages = {167-181},
booktitle = {Computer Science Logic, 10th International Workshop, CSL 96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996, Selected Papers},
editor = {Dirk van Dalen and Marc Bezem},
volume = {1258},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-63172-0},
}