scientific article; zbMATH DE number 7450002

zbMath1487.03042arXiv1904.06847MaRDI QIDQ5018487

Jiaming Jiang, Harley Eades III, V. C. V. de Paiva

Publication date: 20 December 2021

Full work available at URL: https://arxiv.org/abs/1904.06847

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Related Items (1)

Graded modal dependent type theory

Cites Work

• An exact correspondence between a typed pi-calculus and polarised proof-nets
• Proofs as processes
• Dialectica categories for the Lambek calculus
• A Brief Overview of Agda – A Functional Language with Dependent Types
• Hybrid Categorial Logics
• Linear Exponential Comonads without Symmetry

This page was built for publication: