Λ* [Lambda] : ein Kalkül zur Integration von Applikation und asynchroner Kommunikation
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Maße
-
29 cm
- Umfang
-
37 Bl.
- Sprache
-
Deutsch
- Anmerkungen
-
graph. Darst.
- Erschienen in
-
Forschungsberichte des Fachbereiches Informatik / Technische Universität Berlin ; Bericht 1991,17
- Ereignis
-
Veröffentlichung
- (wo)
-
Berlin
- (wer)
-
Leiter der Fachbibliothek Informatik, Sekretariat FR 5-4
- (wann)
-
[1991]
- Urheber
-
Glas, Rainer
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 14:24 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Glas, Rainer
- Leiter der Fachbibliothek Informatik, Sekretariat FR 5-4
Entstanden
- [1991]
Ähnliche Objekte (12)
Der übertypisierte Lambda-Kalkül
πλ-Kalküle [Pi-Lambda-Kalküle] für Prozesse und Funktionen
Lambda-Kalkül als Kontrollstruktur von Programmiersprachen
Modulkonzepte und Berechnungen im polymorphen λ-Kalkül [Lambda-Kalkül] höherer Ordnung
π-Red+ [Pi-Red]: ein interaktives codeausführendes Reduktionssystem zur vollständigen Realisierung eines angewandten λ-Kalküls [Lambda-Kalküls]
Untersuchung alternativer nicht-deterministischer Lambda-Kalküle zur Implementierung der Montague-Semantik
Kalkül versus Katastrophe : die Kommunikation des Klimawandels
Ein Hoare Kalkül für die Sprache der getypten Lambda-Terme : Korrektheit, Vollständigkeit, Anwendungen
Zur Übersetzung von Termen eines angewandten Λ-Kalküls [Lambda-Kalküls] in Zielmaschinencode unter besonderer Berücksichtigung der Rückübersetzbarkeit ausgezeichneter Zwischenzustände der Codeausführung
Ein nichtdeterministischer call-by-need Lambda-Kalkül mit erratic Choice : operationale Semantik, Programmtransformationen und Anwendungen
Ein nichtdeterministischer call-by-need Lambda-Kalkül mit erratic choice : operationale Semantik, Programmtransformationen und Anwendungen
Das Kalkuel
Der übertypisierte Lambda-Kalkül
πλ-Kalküle [Pi-Lambda-Kalküle] für Prozesse und Funktionen
Lambda-Kalkül als Kontrollstruktur von Programmiersprachen
Modulkonzepte und Berechnungen im polymorphen λ-Kalkül [Lambda-Kalkül] höherer Ordnung
π-Red+ [Pi-Red]: ein interaktives codeausführendes Reduktionssystem zur vollständigen Realisierung eines angewandten λ-Kalküls [Lambda-Kalküls]
Untersuchung alternativer nicht-deterministischer Lambda-Kalküle zur Implementierung der Montague-Semantik
Kalkül versus Katastrophe : die Kommunikation des Klimawandels
Ein Hoare Kalkül für die Sprache der getypten Lambda-Terme : Korrektheit, Vollständigkeit, Anwendungen
Zur Übersetzung von Termen eines angewandten Λ-Kalküls [Lambda-Kalküls] in Zielmaschinencode unter besonderer Berücksichtigung der Rückübersetzbarkeit ausgezeichneter Zwischenzustände der Codeausführung
Ein nichtdeterministischer call-by-need Lambda-Kalkül mit erratic Choice : operationale Semantik, Programmtransformationen und Anwendungen
Ein nichtdeterministischer call-by-need Lambda-Kalkül mit erratic choice : operationale Semantik, Programmtransformationen und Anwendungen
Das Kalkuel
Der übertypisierte Lambda-Kalkül
πλ-Kalküle [Pi-Lambda-Kalküle] für Prozesse und Funktionen
Lambda-Kalkül als Kontrollstruktur von Programmiersprachen
Modulkonzepte und Berechnungen im polymorphen λ-Kalkül [Lambda-Kalkül] höherer Ordnung
π-Red+ [Pi-Red]: ein interaktives codeausführendes Reduktionssystem zur vollständigen Realisierung eines angewandten λ-Kalküls [Lambda-Kalküls]
Untersuchung alternativer nicht-deterministischer Lambda-Kalküle zur Implementierung der Montague-Semantik
Kalkül versus Katastrophe : die Kommunikation des Klimawandels
Ein Hoare Kalkül für die Sprache der getypten Lambda-Terme : Korrektheit, Vollständigkeit, Anwendungen
Zur Übersetzung von Termen eines angewandten Λ-Kalküls [Lambda-Kalküls] in Zielmaschinencode unter besonderer Berücksichtigung der Rückübersetzbarkeit ausgezeichneter Zwischenzustände der Codeausführung
Ein nichtdeterministischer call-by-need Lambda-Kalkül mit erratic Choice : operationale Semantik, Programmtransformationen und Anwendungen
Ein nichtdeterministischer call-by-need Lambda-Kalkül mit erratic choice : operationale Semantik, Programmtransformationen und Anwendungen