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.

Kacchapa-Jataka. Eine Erzählung von der Schildkröte und dem Kranzwinder. Akira Yuyama. Studia Philologica Buddhica Occasional Paper Series V. The International Institute for Buddhist Studies, Tokyo 1983. XXII + 43pp.