Pi-Red + ein interaktives codeausführendes Reduktionssystem zur vollständigen Realisierung eines angewandten lambda-Kalküls

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Gärtner, Dietmar (VerfasserIn)
Format: Abschlussarbeit Buch
Sprache:German
Veröffentlicht: Kiel 1992
Schriftenreihe:Institut für Informatik und Praktische Mathematik <Kiel>: Bericht 9201
Schlagworte:
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!