Collection principles in Dependent Type Theory, Types for proofs and programs (2002)

by P Aczel, N Gambino
Venue:Lecture Notes in Computer Science,