A mixed linear and non-linear logic: Proofs, terms and models (extended abstract).
From MaRDI portal
Recommendations
Cited in
(86)- Full intuitionistic linear logic
- Semantics of weakening and contraction
- Domain theory for concurrency
- Fibrational modal type theory
- Relating categorical semantics for intuitionistic linear logic
- Comparing hierarchies of types in models of linear logic
- A categorical construction for the computational definition of vector spaces
- A message-passing interpretation of adjoint logic
- Parametrized fixed points and their applications to session types
- Modality via iterated enrichment
- Semantics of quantum programming languages: Classical control, quantum control
- Adjoint reactive GUI programming
- Reverse AD at higher types: pure, principled and denotationally correct
- A concrete categorical semantics of lambda-\(\mathcal{S}\)
- An abstract approach to stratification in linear logic
- A mixed -calculus
- Sheaf representation of monoidal categories
- Non-stable models of linear logic
- Partially additive categories and fully complete models of linear logic
- A functorial bridge between the infinitary affine lambda-calculus and linear logic
- Dependent types and fibred computational effects
- Categorical proof theory of co-intuitionistic linear logic
- scientific article; zbMATH DE number 2185654 (Why is no real title available?)
- A categorical model for a quantum circuit description language (extended abstract)
- Semantics of higher-order quantum computation via geometry of interaction
- Enriching an Effect Calculus with Linear Types
- Localisation and interaction in one dimension
- scientific article; zbMATH DE number 720881 (Why is no real title available?)
- scientific article; zbMATH DE number 1024333 (Why is no real title available?)
- Classical linear logic of implications
- Categorical models for intuitionistic and linear type theory
- A linear/producer/consumer model of classical linear logic
- Linear logic model of state revisited
- Classical linear logic of implications
- The logic of linear functors
- Presheaf models of quantum computation: an outline
- Jets and differential linear logic
- LNL-FPC: the linear/non-linear fixpoint calculus
- Lifting coalgebra modalities and IMELL model structure to Eilenberg-Moore categories
- A universal session type for untyped asynchronous communication
- Linear exponential comonads without symmetry
- scientific article; zbMATH DE number 7439427 (Why is no real title available?)
- On the Lambek calculus with an exchange modality
- Computational adequacy for substructural lambda calculi
- Back to futures
- Doctrines, modalities and comonads
- Session Types with Arithmetic Refinements
- Classical control, quantum circuits and linear logic in enriched category theory
- scientific article; zbMATH DE number 7204444 (Why is no real title available?)
- A categorical reduction system for linear logic
- scientific article; zbMATH DE number 7407795 (Why is no real title available?)
- Adjoint logic with a 2-category of modes
- Musings around the geometry of interaction, and coherence
- On classical PCF, linear logic and the MIX rule
- Linear Logic Properly Displayed
- LNL polycategories and doctrines of linear logic
- Exponentials as Substitutions and the Cost of Cut Elimination in Linear Logic
- A concrete model for a typed linear algebraic lambda calculus
- Linearity and uniqueness: an entente cordiale
- A framework for substructural type systems
- UNDER LOCK AND KEY: A PROOF SYSTEM FOR A MULTIMODAL LOGIC
- The syntactic side of autonomous categories enriched over generalised metric spaces
- Resource modalities in tensor logic
- Modal crash types for intermittent computing
- Safe session-based concurrency with shared linear state
- Type-safe quantum programming in Idris
- Semantics for a lambda calculus for string diagrams
- Exponentials as substitutions and the cost of cut elimination in linear logic
- Categories for computation in context and unified logic
- Polynomials in homotopy type theory as a Kleisli category
- Amortized analysis via coalgebra
- A complete \(\mathcal{V}\)-equational system for graded \(\lambda\)-calculus
- Data layout from a type-theoretic perspective
- Adjoint natural deduction
- The quantum monadology
- A biset-enriched categorical model for Proto-Quipper with dynamic lifting
- Domain-specific tensor languages
- Categories of quantum cpos
- A mixed linear and graded logic: proofs, terms, and models
- Substructural parametricity
- -categorical models of linear logic
- Policies for fair exchanges of resources
- Enriched categorical semantics for intuitionistic subexponential linear logic (ISELL): initial-model completeness
- Ordered adjoint logic
- Cartesian differential categories as skew enriched categories
- The logic of message-passing
This page was built for publication: A mixed linear and non-linear logic: Proofs, terms and models (extended abstract).
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4474834)
