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: