Logo Logo
Hilfe
Hilfe
Switch Language to English
Schwichtenberg, Helmut (1976): Definierbare Funktionen im Lambda-Kalkül mit Typen. In: Archiv für mathematische Logik und Grundlagenforschung, Nr. 17: S. 113-114
[img]
Vorschau

PDF

180kB