Analysis of a guard condition in type theory (extended abstract (1998)

by R M Amadio, S Coupet-Grimal
Venue:In Proc. of the 1st Int. Conf. on Foundations of Software Science and Computation Structure, FoSSaCS’98, volume 1378 of Lect. Notes in Comput. Sci