Analysis of a guard condition in type theory (1998)

by R M Amadio, S Coupet-Grimal
Venue:Foundations of Software Science and Computation Structures, First International Conference, FoSSaCS'98, volume 1378 of Lecture Notes in Computer Science