Exportar referência
APA
Gilda Ferreira, (2016). Eta-conversions of IPC implemented in atomic F. Logic Journal of IGPL, ISSN 1367-0751. eISSN . http://dx.doi.org/10.1093/jigpal/jzw035
IEEE
Gilda Ferreira, "Eta-conversions of IPC implemented in atomic F" in Logic Journal of IGPL, 2016.
10.1093/jigpal/jzw035
BIBTEX
@article{36664,
author = {Gilda Ferreira},
title = {Eta-conversions of IPC implemented in atomic F},
journal = {Logic Journal of IGPL},
year = 2016,
}