Kleene's Slash and Existence of Values of Open Terms in Type Theory.

Jan M. Smith

Browse the full CSL paper archive.