Leopoldo Lerena

About

I am a second-year PhD student supervised by Pablo Barenbaum at the ICC (FCEyN, University of Buenos Aires). I am a member of the LOREL team and my research is supported by a CONICET doctoral fellowship.

My academic background is in Pure Mathematics; I completed my Licenciatura (Master's equivalent) at DM-UBA.

(Some) Interests

Computational content of Classical Logic, Linear Logic, Realizability, Proof assistants, Intersection of Algebra and λ-Calculus.

Work

A Classical Linear λ-Calculus based on Contraposition.
Co-authors: Pablo Barenbaum, Eduardo Bonelli.
Preprint. (2026) [pdf] [arXiv]

Contact

Email: leolerena(at)gmail(dot)com
Location: Paris, France (Current until October 2026) / Buenos Aires, Argentina
Links: GitHub | DBLP