A framework for substructural type systems

DOI10.1007/978-3-030-99336-8_14zbMath1528.68087OpenAlexW4226031883MaRDI QIDQ6166795

No author found.

Publication date: 3 August 2023

Published in: Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-99336-8_14

zbMATH Keywords

substructural typesformalised syntaxmechanised metatheoryquantitative typing

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Formalization of mathematics in connection with theorem provers (68V20)

Cites Work

• Unnamed Item
• Unnamed Item
• Linear logic
• Coeffects
• The duality of computation
• The Logic of Bunched Implications
• A type- and scope-safe universe of syntaxes with binding: their semantics and proofs
• Syntax and Semantics of Quantitative Type Theory
• Distance makes the types grow stronger
• Bounded Linear Types in a Resource Semiring
• A Core Quantitative Coeffect Calculus

This page was built for publication: A framework for substructural type systems