Welcome! I am in my second year of PhD in Computer Science at IRIF (Université Paris Cité). My work revolves around quantitative type systems, under the guidance of Delia Kesner and Pablo Barenbaum.

My research interests focus on the λ-calculus and logic, particularly rewriting$^1$ and type theory$^2$.

• M. Milicich. Semántica denotacional para un cálculo-λ relacional. Departamento de Computación, Facultad de Ciencias Exactas y Naturales, Universidad de Buenos Aires. (Master's thesis, in spanish) [PDF]
• Pablo Barenbaum, F. Lochbaum, M. Milicich. Semantics of a Relational λ-calculus. ICTAC 2020. [arXiv]