2017年
Almost Every Simply Typed λ-Term Has a Long β-Reduction Sequence.
Foundations of Software Science and Computation Structures - 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings
- ,
- ,
- ,
- 巻
- 10203
- 号
- 開始ページ
- 53
- 終了ページ
- 68
- 記述言語
- 英語
- 掲載種別
- 研究論文(国際会議プロシーディングス)
- DOI
- 10.1007/978-3-662-54458-7_4
- リンク情報
-
- DOI
- https://doi.org/10.1007/978-3-662-54458-7_4
- DBLP
- https://dblp.uni-trier.de/rec/conf/fossacs/SinyaA0T17
- Web of Science
- https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=JSTA_CEL&SrcApp=J_Gate_JST&DestLinkType=FullRecord&KeyUT=WOS:000418289400004&DestApp=WOS_CPL
- URL
- http://dblp.uni-trier.de/db/conf/fossacs/fossacs2017.html#conf/fossacs/SinyaA0T17
- ID情報
-
- DOI : 10.1007/978-3-662-54458-7_4
- ISSN : 0302-9743
- eISSN : 1611-3349
- DBLP ID : conf/fossacs/SinyaA0T17
- Web of Science ID : WOS:000418289400004