> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Buch; Hochschulschrift Titel: Der übertypisierte Lambda-Kalkül Beteiligte: Raulefs, Peter [VerfasserIn] Erschienen: Karlsruhe, 1975 Umfang: V, 184 S.; graph. Darst Sprache: Deutsch Schlagwörter: Programmiersprache > Semantik > Lambda-Kalkül Entstehung: Hochschulschrift: Karlsruhe, Univ,. Diss., 1975 Anmerkungen:
Zentralbibliothek – Magazin Signatur: 0750 00001 001 Barcode: 10278116 Status: Ausleihbar, bitte bestellen > Bestellen möglich - bitte anmelden Bestellungen, die von Mo - Fr bis 13 Uhr eingehen, werden voraussichtlich am selben Tag für Sie bereitgestellt.