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$.

Where to find me
E-mail x.x@irif.fr) milicich
Office 3026
  • 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]