Inhabitation in Intersection and Union Type Assignment Systems

DOI10.1093/logcom/3.6.671zbMath0806.03012OpenAlexW1970328256MaRDI QIDQ4286212

Silvia Ghilezan

Publication date: 27 March 1994

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/3.6.671

zbMATH Keywords

provabilitylambda calculusinhabitationintersection typeCurry- Howard isomorphism

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Related Items (2)

Strong normalization and typability with intersection types ⋮ Unnamed Item

This page was built for publication: Inhabitation in Intersection and Union Type Assignment Systems