Der übertypisierte Lambda-Kalkül

Verfasser / Beitragende:
Peter Raulefs
Ort, Verlag, Jahr:
Karlsruhe : 1975
Beschreibung:
V, 184 S. : Fig.
Format:
Buch (Hochschulschrift)
ID: 273511556