Malena Ivnisky
Keywords: quantum computing, lambda calculus, category theory
UBACyT doctoral grant
Teaching assistant for the course "Programming Paradigms" at DC-Exactas-UBA
Licenciada en Ciencias de la ComputaciĆ³n (~Computer Science M.Sc.) at Exactas-UBA
Thesis: Adding a fixed-point operator to a quantum extension to the lambda calculus with density matrices, 2020 (pdf)