Term-Space Semantics of Typed Lambda Calculus (original) (raw)

paper cover icon

Term-Space Semantics of Typed Lambda Calculus

Notre Dame Journal of Formal Logic, 2020

Takao YuyamaTakao Yuyama

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.

Takao Yuyama hasn't uploaded this paper.

Let Takao know you want this paper to be uploaded.

Ask for this paper to be uploaded.