• Media type: Book; Thesis
  • Title: Pi-Red +: ein interaktives codeausführendes Reduktionssystem zur vollständigen Realisierung eines angewandten Lambda-Kalküls
  • Contributor: Gärtner, Dietmar [Author]
  • Published: Kiel: Inst. für Informatik und Praktische Mathematik, 1992
  • Published in: Christian-Albrechts-Universität zu Kiel: Bericht / Institut für Informatik und Praktische Mathematik ; 9201
  • Extent: 179 S.; graph. Darst
  • Language: German
  • Keywords: Lambda-Kalkül > Reduktionssystem
  • Origination:
  • University thesis: Zugl.: Kiel, Univ., Diss.
  • Footnote:

copies

(0)
  • Status: Loanable