Pages that link to "Item:Q3727946"

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

Displaying 50 items.

• Fixed points in Cartesian closed categories (Q753945) (← links)
• Functorial polymorphism (Q753948) (← links)
• Pushout-complements and basic concepts of grammars in toposes (Q757576) (← links)
• The structure of free closed categories (Q803265) (← links)
• Manufacturing a Cartesian closed category with exactly two objects out of a C-monoid (Q803268) (← links)
• An abstract framework for environment machines (Q804281) (← links)
• Kripke-style models for typed lambda calculus (Q804559) (← links)
• Regular algebra applied to language problems (Q817577) (← links)
• An exactification of the monoid of primitive recursive functions (Q817674) (← links)
• A model for spacetime: the role of interpretation in some Grothendieck topoi (Q862637) (← links)
• A categorical semantics for polarized MALL (Q866570) (← links)
• Partial Horn logic and Cartesian categories (Q866572) (← links)
• Finitary topos for locally finite, causal and quantal vacuum Einstein gravity (Q880980) (← links)
• Codatatypes in ML (Q908682) (← links)
• E-ccc: between ccc and topos, - its expressive power from the viewpoint of data type theory (Q908685) (← links)
• Do-it-yourself type theory (Q911744) (← links)
• A category-theoretic characterization of functional completeness (Q912587) (← links)
• Semantical analysis of specification logic (Q913527) (← links)
• A note on Russell's paradox in locally Cartesian closed categories (Q914668) (← links)
• Pluri-adjoints and preservation of finite limits (Q914820) (← links)
• A generalization of the concept of sketch (Q916772) (← links)
• Confluence results for the pure strong categorical logic CCL. \(\lambda\)- calculi as subsystems of CCL (Q918956) (← links)
• On some connections between logic and category theory (Q919088) (← links)
• Monoidal categories with natural numbers object (Q920197) (← links)
• Capture-avoiding substitution as a nominal algebra (Q939160) (← links)
• Equational abstractions (Q944377) (← links)
• The seven virtues of simple type theory (Q946569) (← links)
• Aspects of predicative algebraic set theory. I: Exact completion (Q958492) (← links)
• Machine semantics (Q959818) (← links)
• The identity type weak factorisation system (Q959823) (← links)
• Gödel's system \(\mathcal T\) revisited (Q960861) (← links)
• The proof monad (Q974136) (← links)
• Saturated models in institutions (Q992038) (← links)
• Introduction to Turing categories (Q998306) (← links)
• Toward discourse representation via pregroup grammars (Q1006460) (← links)
• HasCasl: integrated higher-order specification and program development (Q1006648) (← links)
• Topos-theoretic extension of a modal interpretation of quantum mechanics (Q1008115) (← links)
• On the algebraic structure of declarative programming languages (Q1035699) (← links)
• Adjunction of semifunctors: Categorical structures in nonextensional lambda calculus (Q1075312) (← links)
• On the implementation of abstract data types by programming language constructs (Q1089793) (← links)
• Kleene computable functionals and the higher order existence property (Q1104319) (← links)
• The linear abstract machine (Q1105351) (← links)
• Algebra of constructions. I. The word problem for partial algebras (Q1107515) (← links)
• Toposes and intuitionistic theories of types (Q1115435) (← links)
• E-ccc: Between ccc and topos (Q1117018) (← links)
• Unique normal forms for lambda calculus with surjective pairing (Q1117204) (← links)
• On Church's formal theory of functions and functionals. The \(\lambda\)- calculus: Connections to higher type recursion theory, proof theory, category theory (Q1120558) (← links)
• Natural deduction and coherence for weakly distributive categories (Q1126244) (← links)
• Syntax and semantics of the logic \({\mathcal L}_{\omega\omega}^\lambda\) (Q1130233) (← links)
• Domain theory in logical form (Q1174593) (← links)