Media type: Book; Thesis Title: Comparing reduction strategies in resource conscious lambda calculi Contributor: Maraist, John [Author] Published: 1997 Extent: XII, 210 S. Language: English RVK notation: SK 130 : Logik und Grundlagen, Metamathematik, Keywords: Lambda-Kalkül Origination: University thesis: Karlsruhe, Univ., Diss., 1996 Footnote:
Departmental Library DrePunct – stack Shelf-mark: 1998 4 008789 001 Item ID: 30805760 Status: Loanable, place order > Ordering possible ‒ please log in Delivery expected: 1 - 2 days after order