APA (7th ed.) Citation

Ramos, A., Oliveira, A., de Queiroz, R., & de Veras, T. (2025). A Modular Lean 4 Framework for Confluence and Strong Normalization of Lambda Calculi with Products and Sums.

Chicago Style (17th ed.) Citation

Ramos, Arthur, Anjolina Oliveira, Ruy de Queiroz, and Tiago de Veras. A Modular Lean 4 Framework for Confluence and Strong Normalization of Lambda Calculi with Products and Sums. 2025.

MLA (9th ed.) Citation

Ramos, Arthur, et al. A Modular Lean 4 Framework for Confluence and Strong Normalization of Lambda Calculi with Products and Sums. 2025.