Cita APA (7a ed.)

Fernández, M., Pagano, M., Szasz, N., & Tasistro, Á. (2025). Typechecking dependently sorted nominal signatures.

Cita Chicago Style (17a ed.)

Fernández, Maribel, Miguel Pagano, Nora Szasz, y Álvaro Tasistro. Typechecking Dependently Sorted Nominal Signatures. 2025.

Cita MLA (9a ed.)

Fernández, Maribel, et al. Typechecking Dependently Sorted Nominal Signatures. 2025.