Full intuitionistic linear logic (extended abstract)
- 作者Martin Hyland; Valeria de Paiva
- 卷第64卷
- 期第3期
- 印刷ISSN0168-0072
- 文件大小1380.75KB
- 发表时间1993
- DOI10.1016/0168-0072(93)90146-5
- 页码273-291
同作者推荐
Categoricity in hyperarithmetical degreesC.J. Ash · 1987
Pairs of recursive structuresC.J. Ash; J.F. Knight · 1990
Labelling systems and R.E. structuresC.J. Ash · 1990
Ramified systemsC.J. Ash; J.F. Knight · 1994
Possible degrees in recursive copies IIC.J. Ash; J.F. Knight · 1997
Intersections of algebraically closed fieldsC.J. Ash; John W. Rosenthal · 1986
Stability of recursive structures in arithmetical degreesC.J. Ash · 1986
Optimal Hartmann sensing at low light levelsD.L. Ash; C.J. Solomon; G. Loos · 1998