The following pages link to (Q3075441):
Displaying 22 items.
- N.A. Vasil'ev's logical ideas and the categorical semantics of many-valued logic (Q263105) (← links)
- A micrological study of negation (Q345707) (← links)
- Picturing classical and quantum Bayesian inference (Q383002) (← links)
- The Scott model of linear logic is the extensional collapse of its relational model (Q418011) (← links)
- On Sweedler's cofree cocommutative coalgebra. (Q494084) (← links)
- Multigames and strategies, coalgebraically (Q890378) (← links)
- The shuffle quasimonad and modules with differentiation and integration (Q1744374) (← links)
- A categorical model of predicate linear logic (Q2201096) (← links)
- Weighted models for higher-order computation (Q2216134) (← links)
- Proof diagrams for multiplicative linear logic: syntax and semantics (Q2331072) (← links)
- Finitary Semantics of Linear Logic and Higher-Order Model-Checking (Q2946341) (← links)
- The Free Exponential Modality of Probabilistic Coherence Spaces (Q2988358) (← links)
- Observed Communication Semantics for Classical Processes (Q2988633) (← links)
- Quantum coherent spaces and linear logic (Q2998726) (← links)
- A Categorical Model for a Quantum Circuit Description Language (Extended Abstract) (Q3384934) (← links)
- AFFINE LOGIC FOR CONSTRUCTIVE MATHEMATICS (Q5044310) (← links)
- (Q5111309) (← links)
- Hypernormalisation in an abstract setting (Q6116181) (← links)
- LNL polycategories and doctrines of linear logic (Q6135749) (← links)
- Coherent differentiation (Q6149933) (← links)
- A coherent differential PCF (Q6178673) (← links)
- The genus of regular languages and directed graph emulators (Q6495791) (← links)
