Herman Geuvers
Extending Models of Second Order Predicate Logic to Models of Second Dependent Type Theory
CSL, 1996.
@inproceedings{CSL-1996-Geuvers, author = "Herman Geuvers", booktitle = "{Selected Papers of the 10th International Workshop on Computer Science Logic / Annual Conference of the EACSL}", doi = "10.1007/3-540-63172-0_38", isbn = "3-540-63172-0", pages = "167--181", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Extending Models of Second Order Predicate Logic to Models of Second Dependent Type Theory}", volume = 1258, year = 1996, }