2020年11月1日
Term-Space Semantics of Typed Lambda Calculus
Notre Dame Journal of Formal Logic
- ,
- ,
- 巻
- 61
- 号
- 4
- 開始ページ
- 591
- 終了ページ
- 600
- 記述言語
- 英語
- 掲載種別
- 研究論文（学術雑誌）
- DOI
- 10.1215/00294527-2020-0028
- 出版者・発行元
- Duke University Press
- ID情報
-
- DOI : 10.1215/00294527-2020-0028
- ISSN : 0029-4527