Hochschulschrift
π-Red+ [Pi-Red]: ein interaktives codeausführendes Reduktionssystem zur vollständigen Realisierung eines angewandten λ-Kalküls [Lambda-Kalküls]
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Dimensions
-
21 cm
- Extent
-
179 S.
- Language
-
Deutsch
- Notes
-
graph. Darst.
Zugl.: Kiel, Univ., Diss.
- Bibliographic citation
-
Bericht / Christian-Albrechts-Universität zu Kiel ; Nr. 9201
- Event
-
Veröffentlichung
- (where)
-
Kiel
- (who)
-
Inst. für Informatik und Praktische Mathematik
- (when)
-
1992
- Creator
-
Gärtner, Dietmar
- 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:22 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.
Object type
- Hochschulschrift
Associated
- Gärtner, Dietmar
- Inst. für Informatik und Praktische Mathematik
Time of origin
- 1992
Other Objects (12)
Der übertypisierte Lambda-Kalkül
πλ-Kalküle [Pi-Lambda-Kalküle] für Prozesse und Funktionen
Modulkonzepte und Berechnungen im polymorphen λ-Kalkül [Lambda-Kalkül] höherer Ordnung
Lambda-Kalkül als Kontrollstruktur von Programmiersprachen
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
Das Kalkuel
Das Kalkuel
Kalkül der Form
Kalkül schlägt Kontrolle
Passion & Kalkül, Buch.
Der Ricci-Kalkül
Untersuchung alternativer nicht-deterministischer Lambda-Kalküle zur Implementierung der Montague-Semantik
Der übertypisierte Lambda-Kalkül
πλ-Kalküle [Pi-Lambda-Kalküle] für Prozesse und Funktionen
Modulkonzepte und Berechnungen im polymorphen λ-Kalkül [Lambda-Kalkül] höherer Ordnung
Lambda-Kalkül als Kontrollstruktur von Programmiersprachen
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
Das Kalkuel
Das Kalkuel
Kalkül der Form
Kalkül schlägt Kontrolle
Passion & Kalkül, Buch.
Der Ricci-Kalkül
Untersuchung alternativer nicht-deterministischer Lambda-Kalküle zur Implementierung der Montague-Semantik
Der übertypisierte Lambda-Kalkül
πλ-Kalküle [Pi-Lambda-Kalküle] für Prozesse und Funktionen
Modulkonzepte und Berechnungen im polymorphen λ-Kalkül [Lambda-Kalkül] höherer Ordnung
Lambda-Kalkül als Kontrollstruktur von Programmiersprachen
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
Das Kalkuel
Das Kalkuel
Kalkül der Form
Kalkül schlägt Kontrolle
Passion & Kalkül, Buch.
Der Ricci-Kalkül