Sprachübersetzung, Offline-Funktionen, Synonyme, Konjugation, Lernspiele
Werbung
Kostenlos registrieren: mehr Ergebnisse und Funktionen freischalten
lambda-calculus
Übersetzung für "lambda-calculus" im Deutsch
Lambda-Kalkül
It combines the topics term-rewriting and lambda-calculus with a logical view.
Sie kombiniert die Themen Termersetzung und Lambda-Kalkül mit einer logischen Sicht.
In this dissertation a non-deterministic lambda-calculus with call-by-need evaluation is treated.
Die vorliegende Dissertation behandelt einen nichtdeterministischen Lambda-Kalkül mit sogenannter "call-by-need" Auswertung.
The book also contains an introduction to the Lambda-Calculus of Alonzo Church, which represents the theoretical foundation of A++.
Das Buch enthält auch eine Einführung in das Lambda-Kalkül von Alonzo Church, das die theoretische Grundlage von A++ darstellt.
Most programmers associate functional languages with languages theory, lambda-calculus, recursivity, and non-mutable variables, ie the most boring lectures at university.
Die meisten Programmieren verbinden funktionale Sprachen mit Theory, Rekursivität, und nicht-veränderlichen Variablen, i.A. die langweiligsten Vorlesungen an der Uni.
We demonstrate the applicability and expressive- ness of SoundX by several case studies using a base language built on the Simply-Typed Lambda-Calculus. URI
Wir demonstrieren die Anwendbarkeit und die Ausdrucksstärke von SoundX durch mehrere Fallstudien, bei denen wir eine auf dem einfach typisierten Lambda-Kalkül basierende Basissprache nutzen.
Moreover, the compilation into a call-by-value lambda-calculus with records and recursive let-expressions is defined, and we discuss different possibilities to extend GLang.
Zusätzlich zur Semantik wird die Übersetzung in einen Lambda-Kalkül mit Records und rekursiven let-Ausdrücken entwickelt.
Schwichtenberg, Helmut (1982): Complexity of normalization in the pure typed Lambda-calculus.
Schwichtenberg, Helmut (1972): Bemerkungen zum Spektralproblem.
Synonyme und ähnliche Wörter für „lambda-calculus“ auf Englisch
Wort und Redewendung des Tages
Bild des Tages
Vorschläge, die lambda-calculus enthalten
lambda calculus
800
Ergebnisse: 7. Genau: 7. Bearbeitungszeit: 22 ms.
