scientific article; zbMATH DE number 4103051
From MaRDI portal
Publication:3827993
Recommendations
Cited in
(only showing first 100 items - show all)- Coherence in linear predicate logic
- Natural deduction and coherence for weakly distributive categories
- Quantitative domains and infinitary algebras
- Conditional rewriting logic as a unified model of concurrency
- The logic of structures
- Full intuitionistic linear logic
- An internal language for autonomous categories
- Semantics of weakening and contraction
- Constant-only multiplicative linear logic is NP-complete
- *-autonomous categories of bimodules
- May I borrow your logic? (Transporting logical structures along maps)
- A general adequacy result for a linear functional language
- Domain theory for concurrency
- -autonomous lattices
- Realizability models for BLL-like languages
- \(\mathbb{Z}\)-modules and full completeness of multiplicative linear logic
- Linear Läuchli semantics
- Variations on mobile processes
- On sheaf cohomology and natural expansions
- Revising the link between L-Chu correspondences and completely lattice L-ordered sets.
- Differential categories revisited
- Contrary-to-duty reasoning: a categorical approach
- An abstract approach to stratification in linear logic
- Coherence for star-autonomous categories
- Accessible categories and models of linear logic
- Call-By-Push-Value from a Linear Logic Point of View
- A classical propositional logic for reasoning about reversible logic circuits
- Note on star-autonomous comonads
- Categorical proof theory of co-intuitionistic linear logic
- scientific article; zbMATH DE number 5000963 (Why is no real title available?)
- Semantics of higher-order quantum computation via geometry of interaction
- Coalgebras, Chu spaces, and representations of physical systems
- Big toy models. Representing physical systems as Chu spaces
- Modeling linear logic with implicit functions
- scientific article; zbMATH DE number 29052 (Why is no real title available?)
- *-Autonomous categories and linear logic
- Girard quantaloids
- Quantum-like logics and schizophrenia
- scientific article; zbMATH DE number 720881 (Why is no real title available?)
- Deep inference and probabilistic coherence spaces
- Execution time of λ-terms via denotational semantics and intersection types
- An explicit formula for the free exponential modality of linear logic
- A comparison between monoidal and substructural logics
- On Banach spaces of sequences and free linear logic exponential modality
- Bistructures, bidomains and linear logic
- A linear/producer/consumer model of classical linear logic
- scientific article; zbMATH DE number 2134910 (Why is no real title available?)
- Fuzzy models of linear logic
- The categorical imperative: category theory as a foundation for deontic logic
- A graphical foundation for interleaving in game semantics
- Towards Hilbert's 24th Problem: Combinatorial Proof Invariants
- Relating state-based and process-based concurrency through linear logic
- Presheaf models of quantum computation: an outline
- The Mathematics of Text Structure
- scientific article; zbMATH DE number 7441265 (Why is no real title available?)
- Fibred algebraic semantics for a variety of non-classical first-order logics and topological logical translation
- scientific article; zbMATH DE number 7450001 (Why is no real title available?)
- Double categories of relations
- Linear logic in normed cones: probabilistic coherence spaces and beyond
- The true concurrency of Herbrand's theorem
- From Petri nets to linear logic
- Stable bistructure models of PCF (preliminary draft)
- scientific article; zbMATH DE number 7204432 (Why is no real title available?)
- The problem of proof identity, and why computer scientists should care about Hilbert's 24th problem
- Coherence for Frobenius pseudomonoids and the geometry of linear proofs
- Multiple conclusion linear logic: cut elimination and more
- Coherence for modalities
- Linear domains and linear maps
- Holomorphic models of exponential types in linear logic
- A syntax for linear logic
- Proof theory in the abstract
- A survey of categorical properties of \(\mathbb{L}\)-fuzzy relations
- Continuous functions and parallel algorithms on concrete data structures
- A linear exponential comonad in s-finite transition kernels and probabilistic coherent spaces
- Proof-theoretic semantics for intuitionistic multiplicative linear logic
- Compact inverse categories
- Logical foundations of quantitative equality
- Quasi-prime algebraic domains
- Nonsymmetric \(^{\ast}\)-autonomous categories
- Weakly distributive categories
- Equational theories for inductive types
- Categories for computation in context and unified logic
- Polynomials in homotopy type theory as a Kleisli category
- Fixpoint constructions in focused orthogonality models of linear logic
- Free commutative monoids in homotopy type theory
- Tail recursion through universal invariants
- Linear logic, coherence and dinaturality
- Type isomorphisms for multiplicative-additive linear logic
- An algebraic extension of intuitionistic linear logic: the \(\mathcal{L}_!^{\mathcal{S}}\)-calculus and its categorical model
- The quantum monadology
- is for Dialectica
- Grothendieck-Verdier duality in categories of bimodules and weak module functors
- Quantitative equality in substructural logic via Lipschitz doctrines
- Sequent systems on undirected graphs
- A linear proof language for second-order intuitionistic linear logic
- Interaction graphs: multiplicatives
- Gentzen-Mints-Zucker duality
- The sup connective in IMALL: a categorical semantics
- Proof-theoretic semantics for intuitionistic multiplicative linear logic
- Extending computational trinitarianism
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)
