The following pages link to Linear logic (Q579249):
Displaying 50 items.
- N.A. Vasil'ev's logical ideas and the categorical semantics of many-valued logic (Q263105) (← links)
- Current trends in substructural logics (Q266641) (← links)
- The eco-cognitive model of abduction. II. Irrelevance and implausibility exculpated (Q266877) (← links)
- Bunched sequential information (Q266883) (← links)
- A semantic account of strong normalization in linear logic (Q276260) (← links)
- Computation by interaction for space-bounded functional programming (Q276265) (← links)
- A type assignment for \(\lambda\)-calculus complete both for FPTIME and strong normalization (Q276268) (← links)
- Free \(Q\)-algebras. (Q279346) (← links)
- Category theory, logic and formal linguistics: some connections, old and new (Q280832) (← links)
- Relational semantics for full linear logic (Q280840) (← links)
- Formal ontologies and coherent spaces (Q280844) (← links)
- Dynamic spaces in concurrent constraint programming (Q281160) (← links)
- A logic of separating modalities (Q290917) (← links)
- On derivations of quantales (Q317877) (← links)
- A mathematical theory of resources (Q320201) (← links)
- Topological representation and quantic separation axioms of semi-quantales (Q334570) (← links)
- Interaction graphs: graphings (Q345705) (← links)
- A micrological study of negation (Q345707) (← links)
- Static typing for a substructural lambda calculus (Q352080) (← links)
- Proof systems and transformation games (Q354613) (← links)
- Coalgebras, Chu spaces, and representations of physical systems (Q358691) (← links)
- Naive \textit{modus ponens} (Q373022) (← links)
- Big toy models. Representing physical systems as Chu spaces (Q383003) (← links)
- Displacement logic for anaphora (Q386040) (← links)
- Non-commutative logical algebras and algebraic quantales (Q386648) (← links)
- Temporal BI: proof system, semantics and translations (Q391122) (← links)
- What is relevance logic? (Q392272) (← links)
- Modeling linear logic with implicit functions (Q392296) (← links)
- Self-referentiality of Brouwer-Heyting-Kolmogorov semantics (Q392298) (← links)
- Figures of dialogue: a view from ludics (Q408341) (← links)
- Light linear logics with controlled weakening: expressibility, confluent strong normalization (Q408540) (← links)
- A relational semantics for parallelism and non-determinism in a functional setting (Q408545) (← links)
- Visible acyclic differential nets. I: Semantics (Q409321) (← links)
- The Scott model of linear logic is the extensional collapse of its relational model (Q418011) (← links)
- An approach to innocent strategies as graphs (Q418201) (← links)
- The relational model is injective for multiplicative exponential linear logic (without weakenings) (Q435194) (← links)
- Deep inference and probabilistic coherence spaces (Q452333) (← links)
- Bounded memory Dolev-Yao adversaries in collaborative systems (Q462499) (← links)
- Quantum computation: from a programmer's perspective (Q468591) (← links)
- The categorical imperative: category theory as a foundation for deontic logic (Q472796) (← links)
- A logical calculus for controlled monotonicity (Q472804) (← links)
- Logical consequence and the paradoxes (Q484113) (← links)
- The one-variable fragment of \(\mathrm T_\to\) (Q484182) (← links)
- Recovering quantum logic within an extended classical framework (Q486962) (← links)
- Proving concurrent constraint programming correct, revisited (Q530860) (← links)
- Preface to the special volume (Q534064) (← links)
- A semantic measure of the execution time in linear logic (Q534698) (← links)
- Correctness of linear logic proof structures is NL-complete (Q534703) (← links)
- A linear algorithm for MLL proof net correctness and sequentialization (Q534705) (← links)
- Intuitionistic differential nets and lambda-calculus (Q534707) (← links)
