Keywords: روابط منطقی; Session types; Linear logic; Process calculi; Strong normalization; Confluence; Logical relations; Observational equivalences
مقالات ISI روابط منطقی (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: روابط منطقی; 03B15; 03G30; 18A15; 18D30Realizability; Gluing; Logical relations; Homotopy type theory; Martin-Löf type theory; Groupoid 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
A relational realizability model for higher-order stateful ADTs
Keywords: روابط منطقی; Abstract data types; Logical relations; Local state; Parametricity;
The comprehension of logical relations in expository texts by students who study through the medium of ESL
Keywords: روابط منطقی; Reading; Expository text comprehension; ESL as medium of language and learning; Logical relations; Illustrative, causal, local and global adversative relations; Academic performance