論文

査読有り

2013年11月

Viewing λ-terms through maps

Indagationes Mathematicae

Masahiko Sato
Randy Pollack
Helmut Schwichtenberg
Takafumi Sakurai

巻: 24
号: 4
開始ページ: 1073
終了ページ: 1104
記述言語: 英語
掲載種別: 研究論文（学術雑誌）
DOI: 10.1016/j.indag.2013.08.003
出版者・発行元: Elsevier BV

リンク情報

DOI: https://doi.org/10.1016/j.indag.2013.08.003

ID情報

DOI : 10.1016/j.indag.2013.08.003
ISSN : 0019-3577

エクスポート: BibTeX RIS

論文リストへ