Natural Number Objects in Dialectica Categories
- 期刊名称Electronic Notes in Theoretical Computer Science
- 作者de Paiva, Valeria; Morgan, Charles; da Silva, Samuel G.
- 卷第305卷
- 印刷ISSN1571-0661
- 文件大小212.60KB
- 发表时间2014-07
- DOI10.1016/j.entcs.2014.06.005
- 页码53-65
同期刊推荐
Editorial BoardTunnelling and Underground Space Technology · 2012
Editorial BoardTunnelling and Underground Space Technology · 2012
Editorial BoardTunnelling and Underground Space Technology · 2013
Editorial BoardTunnelling and Underground Space Technology · 2014
Editorial BoardTunnelling and Underground Space Technology · 2013
Editorial BoardTunnelling and Underground Space Technology · 2013
Editorial BoardTunnelling and Underground Space Technology · 2014
Editorial BoardTunnelling and Underground Space Technology · 2014