Nicolás Alberto Monzón
PhD Student at Universidad de la República (Udelar)
Professor at Universidad Argentina de la Empresa (UADE)
Keywords:
Quantum computingLambda calculusMeasurement basisRewriting 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
Click to expand →
Bachelor's Thesis in Computer EngineeringAdvisor: 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)
Click to expand →