A decidable subtyping logic for intersection and union types

DOI10.1007/978-3-319-68953-1_7zbMath1485.03032OpenAlexW2743316118MaRDI QIDQ1698759

Luigi Liquori, Claude Stolze

Publication date: 16 February 2018

Full work available at URL: https://hal.inria.fr/hal-01760641/file/440117_1_En_7_Chapter.pdf

zbMATH Keywords

typelogics and lambda-calculussubtype systems

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Related Items (1)

Unnamed Item

This page was built for publication: A decidable subtyping logic for intersection and union types