Keywords: 03B15; 03B40; 68N18; 68N30; Extrinsic typing; Lambda encodings; Derivable induction; Internalized realizability;
مقالات ISI (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: 03B15; 18A99; 18C50; 18G55; Homotopy type theory; Algebraic weak factorization system; Path object; Identity type; Martin-Löf type theory;
Keywords: 03C13; 03C85; 05C80; 03B15; Monadic second order language; Random graph; Zero-one law; Ehrenfeucht game;
Keywords: 03B15; 03G30;
Keywords: 03B15; 03F50; 03C90; 03D65Martin-Löf type theory; Universe; Topology; Rice's Theorem
Keywords: 03B15; 03F50; 03C90; 03D65Constructive mathematics; Uniform continuity; Fan functional; Sheaves; Kleene–Kreisel continuous functionals; Intuitionistic type theory
Keywords: 03B30; 03F35; 03B15; 03H15Reverse mathematics; Nonstandard models; Second-order logic; Peano system; Categorical sentences
Keywords: 03B15; 03D20; 03D65; 03F10Gödel's system TT; Primitive recursive equivalence; Bar recursion; Open recursion
Keywords: 03C80; 03C85; 03B15; 68P15Dependence logic; Game logic; Independence logic; Independence friendly logic; Natural deduction
Keywords: 03B15; 18G55; 03G30; 55U40Martin-Löf complex; Homotopy type theory; 1-Truncation; Quillen model structure; Groupoids
Keywords: 03B15; 03G30; 18A15; 18D30Realizability; Gluing; Logical relations; Homotopy type theory; Martin-Löf type theory; Groupoid semantics
Triposes, q-toposes and toposes
Keywords: 03G30; 03B15; 18D05; Tripos-to-topos construction; Quasitopos; Proarrow equipment;
Constructive Zermelo-Fraenkel set theory and the limited principle of omniscience
Keywords: primary; 03F50; 03F25; secondary; 03D65; 03B15; Constructive set theory; Limited principle of omniscience; Bar induction; Proof-theoretic strength;
Constructivist and structuralist foundations: Bishop's and Lawvere's theories of sets
Keywords: 03B15; 03G30; 18B05; 18B25; Categories of sets; Categorical logic;
A simple proof of second-order strong normalization with permutative conversions
Keywords: 03B15; 03B40; Strong normalization; Permutative conversions; Second order natural deduction;
Inductive types and exact completion
Keywords: 03B15; 03F50; 03G30; 18A15; 18C50; Exact completion; Realizability toposes; Martin-Löf Type Theory; Initial algebras; Pretoposes;