Abstract
Barendregt gave a sound semantics of the simple type assignment system λ → by generalizing Tait’s proof of the strong normalization theorem. In this paper, we aim to extend the semantics so that the completeness theorem holds.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have