• 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:

copies

(0)
  • Shelf-mark: 1998 4 008789 001
  • Item ID: 30805760
  • Status: Loanable, place order
Delivery expected: 1 - 2 days after order