Media type: Book; Thesis Title: Der übertypisierte Lambda-Kalkül Contributor: Raulefs, Peter [Author] imprint: Karlsruhe, 1975 Extent: V, 184 S.; graph. Darst Language: German Keywords: Programmiersprache > Semantik > Lambda-Kalkül Origination: University thesis: Karlsruhe, Univ,. Diss., 1975 Footnote:
Central Library – stack Shelf-mark: 0750 00001 001 Item ID: 10278116 Status: Loanable, place order > Ordering possible ‒ please log in Orders received from Mon - Fri by 1 pm are expected to be ready for you on the same day.