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

Gespeichert in:

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