Pages that link to "Item:Q3727946"

The following pages link to Introduction to higher order categorical logic (Q3727946):

Displaying 50 items.

• A survey of fuzzy set and topos theory (Q1175730) (← links)
• Continuations in possible-world semantics (Q1178704) (← links)
• Quantitative domains and infinitary algebras (Q1185015) (← links)
• Categories with finite limits and stable binary coproducts can be subdirectly decomposed (Q1192251) (← links)
• Categorical models of polymorphism (Q1193592) (← links)
• Modal translations in substructural logics (Q1198409) (← links)
• On the structure of paradoxes (Q1204111) (← links)
• Principal types of BCK-lambda-terms (Q1208417) (← links)
• Structural induction and coinduction in a fibrational setting (Q1275820) (← links)
• Categorical logic and type theory (Q1279608) (← links)
• The three arrows of Zeno. Cantorian and non-Cantorian concepts of the continuum and of motion (Q1293044) (← links)
• Topology, domain theory and theoretical computer science (Q1295216) (← links)
• Dinatural numbers (Q1295522) (← links)
• A categorical critical-pair completion algorithm (Q1300576) (← links)
• The genericity theorem and parametricity in the polymorphic \(\lambda\)- calculus (Q1314360) (← links)
• Information categories (Q1320330) (← links)
• An internal language for autonomous categories (Q1320337) (← links)
• Are the traditional philosophies of mathematics really incompatible? (Q1323041) (← links)
• Interpolation property for bicartesian closed categories (Q1337501) (← links)
• Stable power domains (Q1349652) (← links)
• Categorical abstract machines for higher-order typed \(\lambda\)-calculi (Q1349667) (← links)
• On the semantics of the universal quantifier (Q1371430) (← links)
• Embedding of a free cartesian-closed category into the category of sets (Q1380064) (← links)
• Liminf convergence in \(\Omega\)-categories (Q1390934) (← links)
• Chu spaces as a semantic bridge between linear logic and mathematics. (Q1398475) (← links)
• A new framework for declarative programming (Q1399960) (← links)
• G-dinaturality. (Q1400601) (← links)
• A fully abstract model for the \(\pi\)-calculus. (Q1400720) (← links)
• Term rewriting for normalization by evaluation. (Q1401941) (← links)
• Proof theory of higher-order equations: Conservativity, normal forms and term rewriting. (Q1401983) (← links)
• Induction-recursion and initial algebras. (Q1412830) (← links)
• Proof-search in type-theoretic languages: An introduction (Q1575935) (← links)
• Safe recursion with higher types and BCK-algebra (Q1577481) (← links)
• Wellfounded trees in categories (Q1577483) (← links)
• An equational variant of Lawvere's natural numbers object (Q1588078) (← links)
• Infinite populations, choice and determinacy (Q1615993) (← links)
• A simplicial foundation for differential and sector forms in tangent categories (Q1630584) (← links)
• Triposes, exact completions, and Hilbert's \(\varepsilon\)-operator (Q1683372) (← links)
• On fixed-point theorems in synthetic computability (Q1683373) (← links)
• A semantic hierarchy for intuitionistic logic (Q1740610) (← links)
• Categorical models of the differential \(\lambda\)-calculus revisited (Q1744378) (← links)
• Quantum number theory (Q1770337) (← links)
• Relating categorical semantics for intuitionistic linear logic (Q1781095) (← links)
• Syntactic forcing models for coherent logic (Q1788327) (← links)
• Combinatorial topology and constructive mathematics (Q1788338) (← links)
• Monoidal computer III: a coalgebraic view of computability and complexity (extended abstract) (Q1798794) (← links)
• Cartesian categories with natural numbers object (Q1822604) (← links)
• The foundation of a generic theorem prover (Q1823013) (← links)
• The free category with products on a multigraph (Q1825946) (← links)
• Possible worlds and resources: The semantics of \(\mathbf{BI}\) (Q1826634) (← links)