Peter Dybjer. Internal Type Theory. In Stefano Berardi & Mario Coppo Ed. Types for Proofs and Programs (TYPES 1995), 120--134. Springer Berlin Heidelberg, 1996. https://doi.org/10.1007/3-540-61780-9_66
Peter Dybjer. Internal Type Theory. In Stefano Berardi & Mario Coppo Ed. Types for Proofs and Programs (TYPES 1995), 120--134. Springer Berlin Heidelberg, 1996. https://doi.org/10.1007/3-540-61780-9_66