„lambda calculus“
Suchergebnisse
286 Treffer
-
A Formalised Proof of the Soundness and Completeness of a Simply Typed Lambda-Calculus with Explicit Substitutions
-
Scheme: A Interpreter for Extended Lambda Calculus
-
Lambda Calculus and Intuitionistic Linear Logic
-
Complexity of normalization in the pure typed Lambda-calculus
-
An inverse of the evaluation functional for typed Lambda-calculus
-
Generalized Fractional Calculus Operators and the $$_pR_q(\lambda ,\eta ;z)$$ p R q ( λ , η ; z ) Function
-
Abstract Computing Machines – A Lambda Calculus Perspective
-
Abstract computing machines – a Lambda calculus perspective
-
The weak call-by-value λ-calculus is reasonable for both time and space
-
Symmetric q-extension of $$\lambda $$ λ -Apostol–Euler polynomials via umbral calculus
-
Propositions with Typed Lambda Calculus λ
-
Label dependent lambda calculus and gradual typing
-
Mechanized metatheory for a $$\lambda $$ λ -calculus with trust types
-
Lambda calculus and LISP
-
Call-by-Value Lambda Calculus as a Model of Computation in Coq
-
Dynamic heuristic acceleration of linearly approximated SARSA( $$\lambda $$ λ ): using ant colony optimization to learn heuristics dynamically
-
Lambda-calculus as control structures of programming languages
-
$$\Lambda $$ Λ -submodules of finite index of anticyclotomic plus and minus Selmer groups of elliptic curves
-
Complete $$\lambda $$ λ -surfaces in $${\mathbb {R}}^3$$ R 3
-
Stable Solutions of − Δ u + λ u = / u / p − 1 u $-\Delta u+\lambda u=/u/^{p-1}u $ in Strips