TY
-
BOOK
AU
-
Raulefs, Peter
TI
-
Der übertypisierte Lambda-Kalkül
KW
-
Hochschulschrift
KW
-
Programmiersprache
KW
-
Semantik
KW
-
Lambda-Kalkül
PY
-
1975
CY
-
Karlsruhe
UR
-
http://slubdd.de/katalog?TN_libero_mab2
ER
-
Download citation