Translator Disclaimer
November 2020 Term-Space Semantics of Typed Lambda Calculus
Ryo Kashima, Naosuke Matsuda, Takao Yuyama
Notre Dame J. Formal Logic 61(4): 591-600 (November 2020). DOI: 10.1215/00294527-2020-0028

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.

Citation

Download Citation

Ryo Kashima. Naosuke Matsuda. Takao Yuyama. "Term-Space Semantics of Typed Lambda Calculus." Notre Dame J. Formal Logic 61 (4) 591 - 600, November 2020. https://doi.org/10.1215/00294527-2020-0028

Information

Received: 30 March 2020; Accepted: 30 July 2020; Published: November 2020
First available in Project Euclid: 30 December 2020

Digital Object Identifier: 10.1215/00294527-2020-0028

Subjects:
Primary: 03B40
Secondary: 03F03

Rights: Copyright © 2020 University of Notre Dame

JOURNAL ARTICLE
10 PAGES

This article is only available to subscribers.
It is not available for individual sale.
+ SAVE TO MY LIBRARY

SHARE
Vol.61 • No. 4 • November 2020
Back to Top