Keywords: نرمال شدن شدید; Session types; Linear logic; Process calculi; Strong normalization; Confluence; Logical relations; Observational equivalences
مقالات ISI نرمال شدن شدید (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: نرمال شدن شدید; Lambda-calculus; memory calculus; strong normalization; intersection types
Keywords: نرمال شدن شدید; Linear logic; Denotational semantics; Computational complexity; Strong normalization
Strong normalization from an unusual point of view
Keywords: نرمال شدن شدید; Strong normalization; Call-by-value; Parametric lambda calculus;
The two-way rewriting in action: Removing the mystery of Euler–Glaisher's map
Keywords: نرمال شدن شدید; Integer partitions; Partition identities; Euler–Glaisher's map; Multiset rewriting; Confluence; Termination; Strong normalization
A simple proof of second-order strong normalization with permutative conversions
Keywords: نرمال شدن شدید; 03B15; 03B40; Strong normalization; Permutative conversions; Second order natural deduction;
Non-strictly positive fixed points for classical natural deduction
Keywords: نرمال شدن شدید; Proof by contradiction; Natural deduction; Second-order logic; System F; Disjunction; Commuting/permutative conversion; Fixed-point type; Strong normalization; Reducibility candidate; Saturated set; λμ-calculus;
Iteration and coiteration schemes for higher-order and nested datatypes
Keywords: نرمال شدن شدید; Higher-order datatypes; Generalized folds; Efficient folds; Iteration; Coiteration; System FÏ; Higher-order polymorphism; Strong normalization;