Ferreira, G. (2018). η-conversions of IPC implemented in atomic F.
Citação norma ChicagoFerreira, Gilda. η-conversions of IPC Implemented in Atomic F. 2018.
Citação norma MLAFerreira, Gilda. η-conversions of IPC Implemented in Atomic F. 2018.
Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.