Logo
EnglishCookie löschen - von nun an wird die Spracheinstellung Ihres Browsers verwendet.
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