Term-Space Semantics of Typed Lambda Calculus

Publication Information

Title

Japanese:
English:	Term-Space Semantics of Typed Lambda Calculus

Author

Japanese:	鹿島亮, 松田直祐, 湯山孝雄.
English:	Ryo Kashima, Naosuke Matsuda, Takao Yuyama.

Language

English

Journal/Book name

Japanese:
English:	Notre Dame Journal of Formal Logic Volume 61, Number 4, 2020

Volume, Number, Page

Vol. 61 No. 4 pp. 591-600

Published date

Nov. 2020

Publisher

Japanese:
English:

Conference name

Japanese:
English:

Conference site

Japanese:
English:

DOI