Generalized bounded linear logic and its categorical semantics

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

zbMATH Keywords

linear logiccategorical semanticsgraded comonadlinear exponential comonad

Mathematics Subject Classification ID

Theory of computing (68Qxx) Theory of software (68Nxx)

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