Keywords: تئوری نوع وابسته; Semantics; Dependent type theory; Guarded recursion; Equilogical spaces;
مقالات ISI تئوری نوع وابسته (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: تئوری نوع وابسته; Game semantics; Dependent type theory; Intensionality;
Keywords: تئوری نوع وابسته; Dependent type theory; Proof assistants; Univalence
State Dependent IO-Monads in Type Theory
Keywords: تئوری نوع وابسته; Dependent type theory; Martin-Löf type theory; intensional type theory; monad; weakly final coalgebras; interactive programs;
Reflection Into Models of Finite Decidable FP-sketches in an Arithmetic Universe
Keywords: تئوری نوع وابسته; Dependent type theory; categorical logic; pretoposes; sketches; sketch models;