Generalized bounded linear logic and its categorical semantics
From MaRDI portal
Publication:2233407
DOI10.1007/978-3-030-71995-1_12OpenAlexW3135295277MaRDI QIDQ2233407FDOQ2233407
Authors: Yōji Fukihara, Shin-ya Katsumata 
Publication date: 18 October 2021
Full work available at URL: https://doi.org/10.1007/978-3-030-71995-1_12
Cites Work
- Linear logic
- Bounded linear logic: A modular approach to polynomial-time computability
- A list of successes that can change the world. Essays dedicated to Philip Wadler on the occasion of his 60th birthday
- Linear dependent types and relative completeness
- Linear Realizability
- Linear realizability and full completeness for typed lambda-calculi
- Pseudo-commutative monads and pseudo-closed 2-categories
- On phase semantics and denotational semantics: The exponentials
- Linear dependent types for differential privacy
- Distance makes the types grow stronger: a calculus for differential privacy
- Realizability models for BLL-like languages
- A core quantitative coeffect calculus
- Relational semantics of linear logic and higher-order model checking
- A double category theoretic analysis of graded linear exponential comonads
- A semantic account of metric preservation
- Title not available (Why is that?)
- On phase semantics and denotational semantics in multiplicative-additive linear logic
- Combining effects and coeffects via grading
- Syntax and semantics of quantitative type theory
- Bounded Linear Types in a Resource Semiring
- Towards a formal theory of graded monads
- An Infinitary Model of Linear Logic
- Unifying graded and parameterised monads
- Coeffects: unified static analysis of context-dependence
- Modelling coeffects in the relational semantics of linear logic
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)
