Nicolás Alberto Monzón
PhD Student at Universidad de la República (Udelar)
Teaching at Universidad Argentina de la Empresa (UADE)
Keywords:
Quantum computingLambda calculusQuantum ControlRewriting systems
PhD student working on the foundations of programming languages for quantum computing. My research focuses on measurement structures and their connections to typed lambda calculi, type theory, and category theory.
Director: Alejandro Díaz-Caro
Co-director: Alberto Pardo
Research & Profile
2025
Paper in ProceedingsDOI: 10.1007/978-981-95-3585-9_8
A Quantum-Control Lambda-Calculus with Multiple Measurement Bases
Alejandro Díaz-Caro, Nicolás Alberto Monzón
APLAS 2025 - LNCS 16201:151-170
Engineering Thesis (eq. to Master's Thesis, EU)Advisor: Alejandro Díaz-Caro
Extensión de Lambda-S para diferentes bases de medición
Nicolás Alberto Monzón
Universidad Argentina de la Empresa (UADE)