Keywords: جایگزینی صریح; λ-Calculus; Implementations of functional programming languages; Explicit substitutions; Cost models;
مقالات ISI جایگزینی صریح (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Proof nets and the call-by-value λ-calculus
Keywords: جایگزینی صریح; Curry–Howard isomorphism; Call-by-value λ-calculus; Linear logic; Graphical syntaxes; Proof nets; Explicit substitutions; Correctness criteria
A Ï-Calculus of Explicit Constraint Application
Keywords: جایگزینی صریح; Ï-calculus; matching; constraints; explicit substitutions;
A CPS Encoding of Name-Passing in Higher-Order Mobile Embedded Resources
Keywords: جایگزینی صریح; Ï-calculus; Name-passing encoding; Process-passing; Nested locations; Continuation-passing; Explicit Substitutions;
Normalisation for higher-order calculi with explicit substitutions
Keywords: جایگزینی صریح; Higher-order rewriting; Lamda calculus; Explicit substitutions; Normalisation; Needed-strategies;
Comparing and implementing calculi of explicit substitutions with eta-reduction
Keywords: جایگزینی صریح; Explicit substitutions; λ-calculi; Eta-reduction;