Keywords: مدل های طبقه بندی شده; modal logic; fibrations; categorical models
مقالات ISI مدل های طبقه بندی شده (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: مدل های طبقه بندی شده; Type theory; Categorical models; Homotopy theory; Univalence axiom
Categorical Models of the Differential λ-Calculus Revisited
Keywords: مدل های طبقه بندی شده; Scott-Koymans; Differential Lambda Calculus; Categorical Models;
Asynchronous Games 3 An Innocent Model of Linear Logic
Keywords: مدل های طبقه بندی شده; Game semantics; linear logic; categorical models;