Logo
DeutschClear Cookie - decide language by browser settings
Schwichtenberg, Helmut (1976): Definierbare Funktionen im Lambda-Kalkül mit Typen. In: Archiv für mathematische Logik und Grundlagenforschung, No. 17: pp. 113-114
[img]
Preview

PDF

180kB