and Solange Coupet-Grimal. Analysis of a guard condition in type theory (extended abstract (0)

by Roberto M Amadio
Venue:Foundations of Software Science and Computation Structure, First International Conference, FoSSaCS’98, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS’98