Intersection types via finite-set declarations

DOI10.1007/978-3-031-62687-6_6MaRDI QIDQ7034652zbMATH OpenFDO

Authors Fairouz Kamareddine, J. B. Wells

Publication date 31 January 2025

zbMATH Keywords

typabilityintersection typesstrong normalisation

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Type theory (03B38)

This page was built for publication: Intersection types via finite-set declarations

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