Mariana Milicich

Hello world! I am currently a third year of PhD student in Computer Science at IRIF.

My thesis covers the topic of quantitative type systems, under the supervision of Delia Kesner and Pablo Barenbaum, and it is funded by the MathInParis2020 fellowship of FSMP.

My research interests include the λ-calculus and logic, particularly rewriting theory$^1$, type theory$^2$, and concurrency theory$^3$.

Where to find me
E-mail milicich at irif dot fr
Office 3026

Publications and Preprints

A Fresh Inductive Approach to Useful Call-by-Value

Joint work with P. Barenbaum and D. Kesner.

30th International Conference on Automated Deduction (CADE). Stuttgart, Germany. 28-31 July 2025. (To appear)

[arXiv]

Semantic Equivalence between the Linear Call-by-Value Calculus and the Value Substitution Calculus (Technical Note)

[PDF]

Useful Call-by-Value: Syntax and Semantics (Technical Report)

Joint work with P. Barenbaum and D. Kesner.

[arXiv, 2025] [arXiv, 2024]

Hybrid Intersection Types for PCF

Joint work with P. Barenbaum and D. Kesner.

25th Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR). Balaclava, Mauritius. 26-31 May 2024.

[PDF] [arXiv]

Semántica denotacional para un cálculo-λ relacional

(Master's thesis, in spanish) Departamento de Computación, Facultad de Ciencias Exactas y Naturales, Universidad de Buenos Aires. 10 August 2022.

[PDF]

Semantics of a Relational λ-calculus

Joint work with P. Barenbaum and F. Lochbaum.

17th International Colloquium on Theoretical Aspects of Computing (ICTAC). Macau S.A.R., China. 30 November - 4 December 2020.

[arXiv]

Talks

Intersection Types as Evaluation Types

Hybrid Intersection Types for PCF

Useful Call-by-Value