Keywords: λ-محاسبات; λ-Calculus; Implementations of functional programming languages; Explicit substitutions; Cost models;
مقالات ISI λ-محاسبات (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: λ-محاسبات; λ-Calculus; Pattern Matching; Path Polymorphism; Static Typing;
Keywords: λ-محاسبات; Term-generic logic; Substitution; λ-Calculus; Ï-Calculus; Semantics;
The search for a reduction in combinatory logic equivalent to λβ-reduction, Part II
Keywords: λ-محاسبات; λ-Calculus; Combinatory logic; β-Reduction; βη-Reduction; Abstraction; Irreducible terms; Normal form;
A new formalization of a meta-game using the lambda calculus
Keywords: λ-محاسبات; Meta-strategy; λ-Calculus; Prisoner's dilemma; Open-ended evolution;
Lazy Strong Normalization
Keywords: λ-محاسبات; λ-calculus; lazy evaluation; lazy strong normalization;
On Type Inference in the Intersection Type Discipline
Keywords: λ-محاسبات; λ-calculus; type systems; type inference; unification;
Sharing Implementations of Graph Rewriting Systems
Keywords: λ-محاسبات; Sharing graphs; optimal reductions; graph-rewriting; λ-calculus; linear logic;
A functional correspondence between monadic evaluators and abstract machines for languages with computational effects
Keywords: λ-محاسبات; λ-calculus; Interpreters; Abstract machines; Closure conversion; Transformation into continuation-passing style (CPS); Defunctionalization; Monads; Effects; Proper tail recursion; Stack inspection;
Continuous normalization for the lambda-calculus and Gödel's T
Keywords: λ-محاسبات; Continuous normalization; λ-calculus; Böhm trees; Length of reduction sequence; Size of normal form; Cut elimination and β-reductions; Ï-rule; Gödel's T;
Compositional characterisations of λ-terms using intersection types
Keywords: λ-محاسبات; λ-calculus; Intersection types; Normalisation properties; Set-theoretical semantics of types;