Λ* [Lambda] : ein Kalkül zur Integration von Applikation und asynchroner Kommunikation
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Dimensions
-
29 cm
- Extent
-
37 Bl.
- Language
-
Deutsch
- Notes
-
graph. Darst.
- Bibliographic citation
-
Forschungsberichte des Fachbereiches Informatik / Technische Universität Berlin ; Bericht 1991,17
- Event
-
Veröffentlichung
- (where)
-
Berlin
- (who)
-
Leiter der Fachbibliothek Informatik, Sekretariat FR 5-4
- (when)
-
[1991]
- Creator
-
Glas, Rainer
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.06.2025, 2:24 PM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Glas, Rainer
- Leiter der Fachbibliothek Informatik, Sekretariat FR 5-4
Time of origin
- [1991]
Other Objects (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