Analysis of a Guard Condition in Type Theory (1997)

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