Generalized bounded linear logic and its categorical semantics
From MaRDI portal
Publication:2233407
Cites work
- scientific article; zbMATH DE number 6513118 (Why is no real title available?)
- A core quantitative coeffect calculus
- A double category theoretic analysis of graded linear exponential comonads
- A list of successes that can change the world. Essays dedicated to Philip Wadler on the occasion of his 60th birthday
- A semantic account of metric preservation
- An Infinitary Model of Linear Logic
- Bounded Linear Types in a Resource Semiring
- Bounded linear logic: A modular approach to polynomial-time computability
- Coeffects: unified static analysis of context-dependence
- Combining effects and coeffects via grading
- Distance makes the types grow stronger: a calculus for differential privacy
- Linear Realizability
- Linear dependent types and relative completeness
- Linear dependent types for differential privacy
- Linear logic
- Linear realizability and full completeness for typed lambda-calculi
- Modelling coeffects in the relational semantics of linear logic
- On phase semantics and denotational semantics in multiplicative-additive linear logic
- On phase semantics and denotational semantics: The exponentials
- Pseudo-commutative monads and pseudo-closed 2-categories
- Realizability models for BLL-like languages
- Relational semantics of linear logic and higher-order model checking
- Syntax and semantics of quantitative type theory
- Towards a formal theory of graded monads
- Unifying graded and parameterised monads
Cited in
(4)
This page was built for publication: Generalized bounded linear logic and its categorical semantics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2233407)
