Zur Pragmatik eines operationalisierten [lambda]-Kalküls als Basis für interaktive Reduktionssysteme

Zugl.: Kiel, Univ., Diss., 1990

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Zimmer, Ralf M. (VerfasserIn)
Weitere Verfasser:	Zimmer, Ralf Martin (BerichterstatterIn)
Format:	UnknownFormat
Sprache:	ger
Veröffentlicht:	München, Wien Oldenbourg 1991
Schriftenreihe:	Berichte der Gesellschaft für Mathematik und Datenverarbeitung 192
Schlagworte:	Hochschulschrift > Mehrprozessorsystem > Funktionale Programmierung > Nebenläufigkeit > Lambda-Kalkül > Reduktionssystem
Online Zugang:	Inhaltstext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!