Export
APA
Gilda Ferreira, Vasco T Vasconcelos, (2018). The computational content of atomic polymorphism. Logic Journal of the IGPL, 27, 625-638. ISSN 1367-0751. eISSN 1368-9894. http://dx.doi.org/10.1093/jigpal/jzy076
IEEE
Gilda Ferreira, Vasco T Vasconcelos, "The computational content of atomic polymorphism" in Logic Journal of the IGPL, vol. 27, pp. 625-638, 2018.
10.1093/jigpal/jzy076
BIBTEX
@article{41858,
author = {Gilda Ferreira and Vasco T Vasconcelos},
title = {The computational content of atomic polymorphism},
journal = {Logic Journal of the IGPL},
year = 2018,
pages = {625-638},
volume = 27
}