Zur Pragmatik eines operationalisierten Lambda-Kalküls als Basis für interaktive Reduktionssysteme

Kiel, Univ., Diss., 1990

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Zimmer, Ralf M. (VerfasserIn)
Format:	UnknownFormat
Sprache:	ger
Veröffentlicht:	München u.a. Oldenbourg 1991
Schriftenreihe:	GMD-Bericht 192
Schlagworte:	Mehrprozessorsystem > Funktionale Programmierung > Nebenläufigkeit > Lambda-Kalkül > Reduktionssystem
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Keine Ergebnisse!