Analysis of a Guard Condition in Type Theory (Extended Abstract).

Roberto M. Amadio, Solange Coupet-Grimal

Browse the full FOSSACS paper archive.