„lambda-calculus“
Suchergebnisse
1.000+ Treffer
-
Formalizing Functions as Processes
-
Lambda-Calculus with Director Strings
-
Comprehensive Mathematics for Computer Scientists 2 – Calculus and ODEs, Splines, Probability, Fourier and Wavelet Theory, Fractals and Neural Networks, Categories and Lambda Calculus
-
Static typing for a substructural lambda calculus
-
Extending Abramsky's Lazy Lambda Calculus: (Non)-Conservativity of Embeddings
-
Simulation in the call-by-need lambda-calculus with letrec
-
Simulation in the call-by-need lambda-calculus with letrec, case, constructors, and seq
-
Gleichheitsanalyse von Ausdrücken in nicht-strikten funktionalen Programmiersprachen unter Verwendung der Kontextanalyse
-
FUNDIO: a lambda-calculus with letrec, case, constructors, and an IO-interface – approaching a theory of unsafePerformIO
-
Equivalence of call-by-name and call-by-need for lambda-calculi with letrec
-
Program equivalence for a concurrent lambda calculus with futures
-
A call-by-need lambda-calculus with locally bottom-avoiding choice: context lemma and correctness of transformations
-
How to prove similarity a precongruence in non-deterministic call-by-need lambda calculi
-
A call-by-need lambda-calculus with locally bottom-avoiding choice: context lemma and correctness of transformations
-
On equivalences and standardization in a non-deterministic call-by-need lambda calculus
-
On generic context lemmas for lambda calculi with sharing
-
On generic context lemmas for lambda calculi with sharing
-
Equivalence of call-by-name and call-by-need for lambda-calculi with letrec
-
On equivalences and standardization in a non-deterministic call-by-need lambda calculus
-
A finite simulation method in a non-deterministic call-by-need calculus with letrec, constructors and case