Pages that link to "Item:Q3727946"

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

Displaying 50 items.

• \(U\)-Sets as a possibilistic set theory (Q1827315) (← links)
• A short note on coherence and self-similarity (Q1850099) (← links)
• A relative PCF-definability result for strongly stable functions and some corollaries (Q1854294) (← links)
• Equality between functionals in the presence of coproducts (Q1854334) (← links)
• Categories with sums and right distributive tensor product (Q1861509) (← links)
• Adapting innocent game models for the Böhm tree \(\lambda\)-theory (Q1884886) (← links)
• Paracategories. I: Internal paracategories and saturated partial algebras (Q1884899) (← links)
• Paracategories. II: Adjunctions, fibrations and examples from probabilistic automata theory (Q1884930) (← links)
• Computational adequacy for recursive types in models of intuitionistic set theory (Q1886324) (← links)
• A model for intuitionistic non-standard arithmetic (Q1891250) (← links)
• Linear Läuchli semantics (Q1919529) (← links)
• Projecting sequential algorithms on strongly stable functions (Q1919532) (← links)
• A reduction rule for Peirce formula (Q1919985) (← links)
• Some intuitions behind realizability semantics for constructive logic: Tableaux and Läuchli countermodels (Q1923579) (← links)
• On fixpoint objects and gluing constructions (Q1923803) (← links)
• Extending Lambek grammars to basic categorial grammars (Q1923836) (← links)
• What is a logic translation? (Q1931306) (← links)
• Partially traced categories (Q1940191) (← links)
• Semantics of \textsc{OpenMath} and \textsc{MathML3} (Q1948675) (← links)
• Proper/residually-finite idempotent semirings. (Q1955600) (← links)
• Higher-order quantifier elimination, counter simulations and fault-tolerant systems (Q2031422) (← links)
• The semantic view of theories and higher-order languages (Q2052159) (← links)
• On sheaf cohomology and natural expansions (Q2054954) (← links)
• From global to local state, coalgebraically and compositionally (Q2133173) (← links)
• Modality via iterated enrichment (Q2134835) (← links)
• Relative full completeness for bicategorical Cartesian closed structure (Q2200828) (← links)
• An abstract cell model that describes the self-organization of cell function in living systems (Q2210070) (← links)
• Composition of deductions within the propositions-as-types paradigm (Q2228351) (← links)
• A categorical semantics for fuzzy predicate logic (Q2270237) (← links)
• Functional models of neurobiological processes (Q2277172) (← links)
• Formalizing abstract computability: Turing categories in Coq (Q2333325) (← links)
• The HASCASL prologue: Categorical syntax and semantics of the partial \(\lambda\)-calculus (Q2368980) (← links)
• Ultraproducts and possible worlds semantics in institutions (Q2373712) (← links)
• Factor theory and the unity of opposites (Q2374299) (← links)
• Canonicity and normalization for dependent type theory (Q2422026) (← links)
• System BV is NP-complete (Q2478549) (← links)
• Cryptographic logical relations (Q2481976) (← links)
• Remarks on isomorphisms in typed lambda calculi with empty and sum types (Q2498898) (← links)
• Robust and ubiquitous on-off intermittency in active coupling (Q2507786) (← links)
• Order-enriched categorical models of the classical sequent calculus (Q2576913) (← links)
• New-from-old full dualities via axiomatisation (Q2636520) (← links)
• Sheaf representation of monoidal categories (Q2687340) (← links)
• Polyadic spaces and profinite monoids (Q2695361) (← links)
• Monoidal indeterminates and categories of possible worlds (Q2805149) (← links)
• A category-theoretic approach to social network analysis (Q2841255) (← links)
• GS\(\cdot \Lambda \) theories: a syntax for higher-order graphs (Q2842817) (← links)
• Adjunction models for call-by-push-value with stacks (Q2842825) (← links)
• Classifying categories for partial equational logic (Q2842828) (← links)
• A local graph-rewriting system for deciding equality in sum-product theories (Q2867904) (← links)
• Logic in Category Theory (Q2909761) (← links)