Definierbare funktionen im lambda-kalkul mit typen (1976)

by H Schwichtenberg
Venue:Archiv Logik Grundlagenforsch