scientific article; zbMATH DE number 4103051
From MaRDI portal
Publication:3827993
Recommendations
Cited in
(86)- Modeling linear logic with implicit functions
- Execution time of λ-terms via denotational semantics and intersection types
- Note on star-autonomous comonads
- scientific article; zbMATH DE number 7089066 (Why is no real title available?)
- Coherence for modalities
- A general adequacy result for a linear functional language
- May I borrow your logic? (Transporting logical structures along maps)
- scientific article; zbMATH DE number 5000963 (Why is no real title available?)
- On Banach spaces of sequences and free linear logic exponential modality
- The logic of structures
- scientific article; zbMATH DE number 29052 (Why is no real title available?)
- An abstract approach to stratification in linear logic
- A linear exponential comonad in s-finite transition kernels and probabilistic coherent spaces
- Quantitative domains and infinitary algebras
- Weakly distributive categories
- Coherence in linear predicate logic
- Quantum-like logics and schizophrenia
- Notions of computation and monads
- Accessible categories and models of linear logic
- The proof monad
- Equational theories for inductive types
- Girard quantaloids
- Linear Läuchli semantics
- Interaction graphs: multiplicatives
- A linear/producer/consumer model of classical linear logic
- Domain theory for concurrency
- Linear domains and linear maps
- Double categories of relations
- *-Autonomous categories and linear logic
- Proof theory in the abstract
- Realizability models for BLL-like languages
- Multiple conclusion linear logic: cut elimination and more
- Revising the link between L-Chu correspondences and completely lattice L-ordered sets.
- A classical propositional logic for reasoning about reversible logic circuits
- Differential categories revisited
- Semantics of weakening and contraction
- Deep inference and probabilistic coherence spaces
- A syntax for linear logic
- An internal language for autonomous categories
- \(\mathbb{Z}\)-modules and full completeness of multiplicative linear logic
- Linear logic in normed cones: probabilistic coherence spaces and beyond
- Compact inverse categories
- Full intuitionistic linear logic
- Stable bistructure models of PCF (preliminary draft)
- scientific article; zbMATH DE number 2134910 (Why is no real title available?)
- -autonomous lattices
- Categories for computation in context and unified logic
- scientific article; zbMATH DE number 7441265 (Why is no real title available?)
- scientific article; zbMATH DE number 7450001 (Why is no real title available?)
- The categorical imperative: category theory as a foundation for deontic logic
- Holomorphic models of exponential types in linear logic
- A graphical foundation for interleaving in game semantics
- The Mathematics of Text Structure
- On sheaf cohomology and natural expansions
- Presheaf models of quantum computation: an outline
- Semantics of higher-order quantum computation via geometry of interaction
- Towards Hilbert's 24th Problem: Combinatorial Proof Invariants
- Coherence for star-autonomous categories
- Categorical proof theory of co-intuitionistic linear logic
- \(*\)-autonomous categories of bimodules
- Fibred algebraic semantics for a variety of non-classical first-order logics and topological logical translation
- Constant-only multiplicative linear logic is NP-complete
- Call-By-Push-Value from a Linear Logic Point of View
- Logical foundations of quantitative equality
- Nonsymmetric \(^{\ast}\)-autonomous categories
- A survey of categorical properties of \(\mathbb{L}\)-fuzzy relations
- Continuous functions and parallel algorithms on concrete data structures
- Coalgebras, Chu spaces, and representations of physical systems
- Big toy models. Representing physical systems as Chu spaces
- scientific article; zbMATH DE number 7533330 (Why is no real title available?)
- An explicit formula for the free exponential modality of linear logic
- scientific article; zbMATH DE number 7204432 (Why is no real title available?)
- Natural deduction and coherence for weakly distributive categories
- scientific article; zbMATH DE number 720881 (Why is no real title available?)
- Variations on mobile processes
- Conditional rewriting logic as a unified model of concurrency
- Bistructures, bidomains and linear logic
- The problem of proof identity, and why computer scientists should care about Hilbert's 24th problem
- From Petri nets to linear logic
- Relating state-based and process-based concurrency through linear logic
- Quasi-prime algebraic domains
- Proof-theoretic semantics for intuitionistic multiplicative linear logic
- A comparison between monoidal and substructural logics
- Linear logic, coherence and dinaturality
- Tail recursion through universal invariants
- Contrary-to-duty reasoning: a categorical approach
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3827993)
