Extending Models of Second Order Predicate Logic to Models of Second Dependent Type Theory.

Herman Geuvers Extending Models of Second Order Predicate Logic to Models of Second Dependent Type Theory. 167-181 1996 conf/csl/1996 CSL db/conf/csl/csl96.html#Geuvers96 http://dx.doi.org/10.1007/3-540-63172-0_38