Keywords: هندسه تعامل; 03B70; 03F52; 68Q55; 37A40; Linear logic; Dynamic semantics; Denotational semantics; Interaction graphs; Geometry of interaction; Measurable dynamics;
مقالات ISI هندسه تعامل (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: هندسه تعامل; 03B70; 18C20; 18C50; 81P68; Higher-order computation; Quantum computation; Programming language; Geometry of interaction; Denotational semantics; Categorical semantics;
Keywords: هندسه تعامل; Geometry of interaction; Unique decomposition categories; Traced categories; Fixed point operators; Recursion;
Keywords: هندسه تعامل; Geometry of interaction; Linear logic; Inverse monoid; â-autonomous category; Coherence completion;
Keywords: هندسه تعامل; Linear logic; Complexity; Geometry of interaction; Pointer machine; Finite automata; Logarithmic space
Keywords: هندسه تعامل; Implicit computational complexity; Logarithmic space; Type system; Geometry of interaction; Functional programming
Keywords: هندسه تعامل; primary, 03B70; secondary, 03F52, 03B47, 47N99Linear logic; Geometry of interaction; Denotational semantics; Interaction graphs; Dynamic semantics
From Geometry of Interaction to Denotational Semantics
Keywords: هندسه تعامل; Geometry of Interaction; Denotational semantics; Linear logic; *-autonomous categories; Unique decomposition categories;
A structural approach to reversible computation
Keywords: هندسه تعامل; Reversible computation; Linear combinatory algebra; Term-rewriting; Automata; Geometry of Interaction;
Linear realizability and full completeness for typed lambda-calculi
Keywords: هندسه تعامل; Typed lambda-calculi; ML-polymorphic types; Linear logic; Hyperdoctrines; PER models; Geometry of Interaction; (Axiomatic) Full completeness;