Der übertypisierte Lambda-Kalkül - Raulefs, Peter 1945- (1975)
Keywords: Lambda-Kalkül; Semantik; Programmiersprache; Hochschulschrift