Keywords: معناشناسی بازی; Game semantics; Dependent type theory; Intensionality;
مقالات ISI معناشناسی بازی (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: معناشناسی بازی; Higher-order; Complexity; Game semantics; bff; pcf;
Keywords: معناشناسی بازی; 68N15; 68N17; 68Q55; 91A05; Game semantics; Intensional logic programming; Non-monotonicity;
Keywords: معناشناسی بازی; 68Q55; 68N15; 18C20; 18C50; Game semantics; Control operators; Computational monads; Exceptions; Continuations; Delimited control;
Keywords: معناشناسی بازی; Computability logic; Game semantics; Peano arithmetic; Constructive theories; Interactive computation; Bounded arithmetic; Implicit computational complexity
Keywords: معناشناسی بازی; 68Q55; 68Q60; 18C50; 03B70Reduced ML; Contextual equivalence; Full abstraction; Game semantics; ML-like references; Nominal techniques
A short note on type-inhabitation: Formula-trees vs. game semantics
Keywords: معناشناسی بازی; Lambda calculus; Game semantics; Type-inhabitation; Automatic Theorem Proving
Introduction to clarithmetic III
Keywords: معناشناسی بازی; 03F50; 03F30; 03D75; 68T30; Computability logic; Game semantics; Peano arithmetic; Constructive theories; Interactive computation;
Constructing differential categories and deconstructing categories of games
Keywords: معناشناسی بازی; Differential categories; Game semantics; Full abstraction
A game semantics for disjunctive logic programming
Keywords: معناشناسی بازی; 03B70; 68N17; 68Q55; 91A40; Logic programming; Disjunctive logic programming; Game semantics; Logic programming semantics;
A new face of the branching recurrence of computability logic
Keywords: معناشناسی بازی; Computability logic; Interactive computation; Game semantics; Resource semantics;
The countable versus uncountable branching recurrences in computability logic
Keywords: معناشناسی بازی; Computability logic; Cirquent calculus; Interactive computation; Game semantics; Resource semantics
Program equivalence in a simple language with state
Keywords: معناشناسی بازی; Program equivalence; Nominal computation; Higher-order computation and local state; Game semantics; Logical relations; Environmental bisimulations
Locally Boolean domains
Keywords: معناشناسی بازی; Domain theory; Linear logic; Game semantics;
Software Model Checking Based on Game Semantics and CSP
Keywords: معناشناسی بازی; Software model checking; Game semantics; CSP process algebra; FDR refinement checker;
Asynchronous Games 3 An Innocent Model of Linear Logic
Keywords: معناشناسی بازی; Game semantics; linear logic; categorical models;
Game semantics and linear CPS interpretation
Keywords: معناشناسی بازی; Game semantics; Continuation passing; Linear type theory;
Syntax vs. semantics: A polarized approach
Keywords: معناشناسی بازی; Linear logic; Game semantics; Proof-nets; Polarization; Full and faithful completeness;
Games for complexity of second-order call-by-name programs
Keywords: معناشناسی بازی; Game semantics; Computational complexity; Program analysis;
Functions with local state: Regularity and undecidability
Keywords: معناشناسی بازی; Game semantics; Automata; Software verification; Model checking;
Sequential algorithms and strongly stable functions
Keywords: معناشناسی بازی; Game semantics; Linear logic; Sequential algorithms; Strongly stable functions; Extensional collapse;