Pages that link to "Item:Q3727946"
From MaRDI portal
The following pages link to Introduction to higher order categorical logic (Q3727946):
Displaying 50 items.
- Nominal lambda calculus: an internal language for FM-Cartesian closed categories (Q265798) (← links)
- Towards a notion of lambda monoid (Q280190) (← links)
- Category theory, logic and formal linguistics: some connections, old and new (Q280832) (← links)
- Logical systems. I: Internal calculi. (Q326587) (← links)
- Semantics of higher-order quantum computation via geometry of interaction (Q345711) (← links)
- Causal categories: relativistically interacting processes (Q352872) (← links)
- Internal diagrams and archetypal reasoning in category theory (Q382414) (← links)
- A reduction theorem for the Kripke-Joyal semantics: forcing over an arbitrary category can always be replaced by forcing over a complete Heyting algebra (Q382416) (← links)
- Quotient completion for the foundation of constructive mathematics (Q382422) (← links)
- Monoidal computer. I: Basic computability by string diagrams (Q385721) (← links)
- Relating first-order set theories, toposes and categories of classes (Q386623) (← links)
- Systems analysis of life cycle of large-scale information-control systems (Q386928) (← links)
- Basic subtoposes of the effective topos (Q387125) (← links)
- Modeling linear logic with implicit functions (Q392296) (← links)
- The Peirce translation (Q408162) (← links)
- Monoidal indeterminates and categories of possible worlds (Q418809) (← links)
- Using formal methods with SysML in aerospace design and engineering (Q434438) (← links)
- An induction principle for consequence in arithmetic universes (Q456884) (← links)
- The categorical imperative: category theory as a foundation for deontic logic (Q472796) (← links)
- Triposes, q-toposes and toposes (Q476121) (← links)
- Modes of adjointness (Q484110) (← links)
- Coherence and strictification for self-similarity (Q504539) (← links)
- Agnostic hyperintensional semantics (Q514078) (← links)
- Prior's tonk, notions of logic, and levels of inconsistency: vindicating the pluralistic unity of science in the light of categorical logical positivism (Q516400) (← links)
- A categorical interpretation of the intuitionistic, typed, first order logic with Hilbert's \(\varepsilon\)-terms (Q528519) (← links)
- Defining effectiveness using finite sets. A study on computability (Q529651) (← links)
- How to be a structuralist all the way down (Q542132) (← links)
- Languages for monoidal categories (Q584380) (← links)
- What is the world of mathematics? (Q598279) (← links)
- Monad transformers as monoid transformers (Q615955) (← links)
- Categorical approaches to non-commutative fuzzy logic (Q622031) (← links)
- Linearity and iterator types for Gödel's system \(\mathcal T\) (Q656851) (← links)
- Fixed-point operations on ccc's. I (Q672122) (← links)
- Principles of programming with complex objects and collection types (Q672333) (← links)
- A characterization of lambda definability in categorical models of implicit polymorphism (Q673121) (← links)
- Equational theories for inductive types (Q678762) (← links)
- Proving semantical equivalence of data specifications (Q678825) (← links)
- Categories for computation in context and unified logic (Q678833) (← links)
- A single complete rule for data refinement (Q684396) (← links)
- Tail recursion through universal invariants (Q685396) (← links)
- I-categories as a framework for solving domain equations (Q685401) (← links)
- Linear logic, coherence and dinaturality (Q685406) (← links)
- Functional interpretations of feasibly constructive arithmetic (Q685962) (← links)
- Semantics of the typed \(\lambda\)-calculus with substitution in a cartesian closed category (Q687575) (← links)
- A higher-order theory of presupposition (Q692197) (← links)
- Categorical relationships between Goguen sets and ``two-sided'' categorical models of linear logic (Q705522) (← links)
- Representation and duality of the untyped \(\lambda\)-calculus in nominal lattice and topological semantics, with a proof of topological completeness (Q730088) (← links)
- A note on inconsistencies caused by fixpoints in a cartesian closed category (Q749648) (← links)
- Categorical and algebraic aspects of Martin-Löf type theory (Q750438) (← links)
- List-arithmetic distributive categories: Locoi (Q752170) (← links)
