Foreword for special issue of APAL for GaLoP 2013
Hyland, Martin; McCusker, Guy; Tzevelekos, Nikos
- 期刊名称Annals of Pure and Applied Logic
- 作者Hyland, Martin; McCusker, Guy; Tzevelekos, Nikos
- 卷第168卷
- 期第2期
- 印刷ISSN0168-0072
- 文件大小119.11KB
- 发表时间2017-02
- DOI10.1016/j.apal.2016.10.004