The following pages link to (Q3075441):
Displaying 46 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)
- An introduction to differential linear logic: proof-nets, models and antiderivatives (Q4577980) (← links)
- An explicit formula for the free exponential modality of linear logic (Q4577986) (← links)
- On Banach spaces of sequences and free linear logic exponential modality (Q4611198) (← links)
- (Q4611384) (← links)
- A linear/producer/consumer model of classical linear logic (Q4637629) (← links)
- Jets and differential linear logic (Q4988427) (← links)
- (Q5014804) (← links)
- (Q5014808) (← links)
- Linear Exponential Comonads without Symmetry (Q5014810) (← links)
- (Q5015209) (← links)
- (Q5018484) (← links)
- (Q5018485) (← links)
- AFFINE LOGIC FOR CONSTRUCTIVE MATHEMATICS (Q5044310) (← links)
- Linear logic in normed cones: probabilistic coherence spaces and beyond (Q5076387) (← links)
- (Q5111309) (← links)
- (Q5119390) (← links)
- Encodings of Turing machines in linear logic (Q5139286) (← links)
- Cofree coalgebras and differential linear logic (Q5139287) (← links)
- Convenient antiderivatives for differential linear categories (Q5139291) (← links)
- Models of Linear Logic based on the Schwartz $\varepsilon$-product (Q5207357) (← links)
- Monoidal-closed categories of tree automata (Q5220183) (← links)
- Linear Logic Properly Displayed (Q5886520) (← 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)
- A linear perspective on cut-elimination for non-wellfounded sequent calculi with least and greatest fixed-points (Q6541152) (← links)
- Disentangling parallelism and interference in game semantics (Q6635506) (← links)
- Linear-algebraic models of linear logic as categories of modules over \(\Sigma \)-semirings (Q6649497) (← links)
- A functorial excursion between algebraic geometry and linear logic (Q6649501) (← links)
