The following pages link to (Q3829551):
Displaying 27 items.
- Natural number objects in Dialectica categories (Q281151) (← links)
- Light Dialectica revisited (Q636373) (← links)
- Weakly distributive categories (Q674463) (← links)
- Categorical relationships between Goguen sets and ``two-sided'' categorical models of linear logic (Q705522) (← links)
- Cartesian closed Dialectica categories (Q998318) (← links)
- A game semantics for linear logic (Q1192350) (← links)
- Full intuitionistic linear logic (Q1314646) (← links)
- Semantics of weakening and contraction (Q1337357) (← links)
- Glueing and orthogonality for models of linear logic (Q1398466) (← links)
- Chu spaces as a semantic bridge between linear logic and mathematics. (Q1398475) (← links)
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017 (Q1731963) (← links)
- Poset-valued sets or how to build models for linear logics (Q1826627) (← links)
- Dialectica logical principles (Q2151422) (← links)
- Dynamical systems and sheaves (Q2303775) (← links)
- Accessible categories and models of linear logic (Q2639952) (← links)
- Dialectica principles via Gödel doctrines (Q2682930) (← links)
- A finitization of Littlewood's Tauberian theorem and an application in Tauberian remainder theory (Q2683776) (← links)
- Computational Interpretations of Classical Reasoning: From the Epsilon Calculus to Stateful Programs (Q3305635) (← links)
- Indexed categories for program development (Q3986546) (← links)
- THE CHARACTERIZATION OF WEIHRAUCH REDUCIBILITY IN SYSTEMS CONTAINING (Q5000259) (← links)
- Monoidal-closed categories of tree automata (Q5220183) (← links)
- Multiple Conclusion Linear Logic: Cut Elimination and More (Q5283420) (← links)
- Categories in Context: Historical, Foundational, and Philosophical (Q5692819) (← links)
- Proof theory in the abstract (Q5957852) (← links)
- Categorification of Negative Information using Enrichment (Q6150139) (← links)
- Cornering Optics (Q6150147) (← links)
- The game semantics of game theory (Q6612787) (← links)
