Untersuchung alternativer nicht-deterministischer Lambda-Kalküle zur Implementierung der Montague-Semantik
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Deutsch
- Anmerkungen
-
Frankfurt am Main, Johann Wolfgang Goethe-Universität, Diplomarbeit, 2006
- Klassifikation
-
Informatik
- Ereignis
-
Veröffentlichung
- (wo)
-
Frankfurt am Main
- (wer)
-
Universitätsbibliothek Johann Christian Senckenberg
- (wann)
-
2006
- Urheber
- Beteiligte Personen und Organisationen
-
Schmidt-Schauß, Manfred
Sabel, David
- URN
-
urn:nbn:de:hebis:30-30866
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:52 MEZ
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
- Reichau, Hermine
- Schmidt-Schauß, Manfred
- Sabel, David
- Universitätsbibliothek Johann Christian Senckenberg
Entstanden
- 2006
Ä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
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
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]
Ein vollständiger Kalkül für die Folgerungsbeziehung der Grzegorczyk-Semantik
Λ* [Lambda] : ein Kalkül zur Integration von Applikation und asynchroner Kommunikation
Ein Hoare Kalkül für die Sprache der getypten Lambda-Terme : Korrektheit, Vollständigkeit, Anwendungen
John Montague
![[Charles Montague]](https://iiif.deutsche-digitale-bibliothek.de/image/2/14589655-728c-4c50-9edb-a64b6e0af497/full/!306,450/0/default.jpg)
[Charles Montague]
Der übertypisierte Lambda-Kalkül
πλ-Kalküle [Pi-Lambda-Kalküle] für Prozesse und Funktionen
Lambda-Kalkül als Kontrollstruktur von Programmiersprachen
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
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]
Ein vollständiger Kalkül für die Folgerungsbeziehung der Grzegorczyk-Semantik
Λ* [Lambda] : ein Kalkül zur Integration von Applikation und asynchroner Kommunikation
Ein Hoare Kalkül für die Sprache der getypten Lambda-Terme : Korrektheit, Vollständigkeit, Anwendungen
John Montague
[Charles Montague]
Der übertypisierte Lambda-Kalkül
πλ-Kalküle [Pi-Lambda-Kalküle] für Prozesse und Funktionen
Lambda-Kalkül als Kontrollstruktur von Programmiersprachen
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
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]
Ein vollständiger Kalkül für die Folgerungsbeziehung der Grzegorczyk-Semantik
Λ* [Lambda] : ein Kalkül zur Integration von Applikation und asynchroner Kommunikation
Ein Hoare Kalkül für die Sprache der getypten Lambda-Terme : Korrektheit, Vollständigkeit, Anwendungen
John Montague