Analysis of a Guard Condition in Type Theory (1997)

by Roberto M. Amadio , Projet Meije
Citations:4 - 0 self