Der übertypisierte Lambda-Kalkül - Raulefs, Peter 1945- (1975)
Karlsruhe, Univ., Diss., 1975
Keywords: Programmiersprache; Semantik; Lambda-Kalkül; Hochschulschrift; Übertypisiertes Lambda-Kalkül