Additive types in quantitative type theory

DOI10.1007/978-3-031-15298-6_16OpenAlexW4297809334MaRDI QIDQ6160747

Tomáš Svoboda, Vít Šefl

Publication date: 2 June 2023

Published in: Logic, Language, Information, and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-031-15298-6_16

Mathematics Subject Classification ID

Logic in computer science (03B70)

Cites Work

• A linear logical framework
• Integrating Linear and Dependent Types
• A Tutorial Implementation of a Dependently Typed Lambda Calculus
• I Got Plenty o’ Nuttin’
• Syntax and Semantics of Quantitative Type Theory
• A Core Quantitative Coeffect Calculus

This page was built for publication: Additive types in quantitative type theory