Generalized bounded linear logic and its categorical semantics
From MaRDI portal
Publication:2233407
DOI10.1007/978-3-030-71995-1_12OpenAlexW3135295277MaRDI QIDQ2233407
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
- Unnamed Item
- Unnamed Item
- A list of successes that can change the world. Essays dedicated to Philip Wadler on the occasion of his 60th birthday
- Linear realizability and full completeness for typed lambda-calculi
- Linear logic
- Typed lambda calculi and applications. 9th international conference, TLCA 2009, Brasilia, Brazil, July 1--3, 2009. Proceedings
- Bounded linear logic: A modular approach to polynomial-time computability
- A double category theoretic analysis of graded linear exponential comonads
- Realizability models for BLL-like languages
- Pseudo-commutative monads and pseudo-closed 2-categories
- On phase semantics and denotational semantics in multiplicative-additive linear logic
- Towards a Formal Theory of Graded Monads
- Linear dependent types for differential privacy
- An Infinitary Model of Linear Logic
- Combining effects and coeffects via grading
- Linear Realizability
- Linear Dependent Types and Relative Completeness
- Syntax and Semantics of Quantitative Type Theory
- Distance makes the types grow stronger
- Coeffects: Unified Static Analysis of Context-Dependence
- Relational semantics of linear logic and higher-order model-checking
- Modelling Coeffects in the Relational Semantics of Linear Logic
- A semantic account of metric preservation
- Bounded Linear Types in a Resource Semiring
- A Core Quantitative Coeffect Calculus
- On phase semantics and denotational semantics: The exponentials
This page was built for publication: Generalized bounded linear logic and its categorical semantics