Keywords: تئوری نوع; Proof assistant libraries; Library alignment; Higher-order logic; Type theory; Set theory; Dynamical systems;
مقالات ISI تئوری نوع (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: تئوری نوع; Program analysis; Program transformation; Type theory; Dynamic typing;
Keywords: تئوری نوع; Type theory; Cloud service composition; Semantic verification; Theoretical proof; Software-as-a-service applications;
Keywords: تئوری نوع; Formal metatheory; Lambda calculus; Type Theory;
Keywords: تئوری نوع; Lexical semantics; Compositional semantics; Type theory;
Keywords: تئوری نوع; Type theory; Categorical semantics; Dependent types; Monoidal categories; Locally cartesian closed categories; Grothendieck fibrations; Coherence
Keywords: تئوری نوع; Type theory; Categorical models; Homotopy theory; Univalence axiom
Keywords: تئوری نوع; Logic; Type theory; Category theory; Formal linguistics
Applicative Methods of Interpretation of Graphically Oriented Conceptual Information
Keywords: تئوری نوع; Domain model; concept; concept dependences; conceptual construction; conceptual domain; type theory; graphical format; graphical objects; diagramming; Applicative Computational Model (ACM); conceptual visualization;
Mechanizing type environments in weak HOAS
Keywords: تئوری نوع; Type theory; Logical frameworks; HOAS; POPLmark Challenge
N.G. de Bruijn's contribution to the formalization of mathematics
Keywords: تئوری نوع; Type theory; Formalizing mathematics; Lambda calculus; Proof assistants;
Large-size message construction for ETI, Logical existence expressed in Lingua Cosmica
Keywords: تئوری نوع; Lingua Cosmica; Constructive logic; Type theory; Existence
Coercive subtyping: Theory and implementation
Keywords: تئوری نوع; Coercive subtyping; Conservativity; Definitional extension; Subsumptive subtyping; Type theory
Auguste Laurent. Radical and radicals
Keywords: تئوری نوع; Naphtahlene and derivatives; phthalic acid; coal tar distilation; radicals; type theory; chemical classification and rules;
The seven virtues of simple type theory
Keywords: تئوری نوع; Higher-order logic; Type theory; Practical logics; Nonstandard models; Peano arithmetic; Complete ordered field
Is ZF a hack?: Comparing the complexity of some (formalist interpretations of) foundational systems for mathematics
Keywords: تئوری نوع; Logical frameworks; Foundation of mathematics; Automath; Set theory; Higher order logic; Type theory; Category theory; Zermelo–Fraenkel; ZF; ZFC; New foundations; NF; HOL; Isabelle; Calculus of constructions; Martin-Löf type theory; Formalization of mathe
TPS: A hybrid automatic-interactive system for developing proofs
Keywords: تئوری نوع; Tps; Theorem proving system; Automatic proofs; Semi-automatic proofs; Semi-interactive proofs; Interactive proofs; Type theory; Higher-order logic; First-order logic; Automating mathematics; Mathematics assistance system
Containers: Constructing strictly positive types
Keywords: تئوری نوع; Type theory; Category theory; Container functors; W-Types; Induction; Coinduction; Initial algebras; Final coalgebras;
De Bruijn's syntax and reductional behaviour of λ-terms: the typed case
Keywords: تئوری نوع; Class reduction; Type theory; Subject reduction; Strong normalisation;
On fuzzy type theory
Keywords: تئوری نوع; Fuzzy logic in narrow sense; Type theory; IMTL-algebra; IMTL logic; Higher order logic;