Weak completeness of type assignment in \(\lambda\)-calculus models: A generalization of Hindley's result
From MaRDI portal
Publication:809993
DOI10.1016/0304-3975(91)90032-WzbMath0733.03008OpenAlexW1992594006MaRDI QIDQ809993
Publication date: 1991
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0304-3975(91)90032-w
Cites Work
This page was built for publication: Weak completeness of type assignment in \(\lambda\)-calculus models: A generalization of Hindley's result