Cita APA (7a ed.)

Ahrens, B., Lumsdaine, P. L., & North, P. R. (2024). Comparing semantic frameworks for dependently-sorted algebraic theories.

Cita Chicago Style (17a ed.)

Ahrens, Benedikt, Peter LeFanu Lumsdaine, y Paige Randall North. Comparing Semantic Frameworks for Dependently-sorted Algebraic Theories. 2024.

Cita MLA (9a ed.)

Ahrens, Benedikt, et al. Comparing Semantic Frameworks for Dependently-sorted Algebraic Theories. 2024.