A deep quantitative type system

DOI10.4230/LIPICS.CSL.2021.24MaRDI QIDQ6839812zbMATH OpenFDO

Authors Giulio Guerrieri, Willem Heijltjes

Publication date 23 March 2026

Copyright license Creative Commons Attribution 3.0 Unported

zbMATH Keywords

lambda-calculusintersection typesdeep inferenceresource calculus

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

This page was built for publication: A deep quantitative type system

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6839812)