Semantics of a Relational λ-Calculus. - Pablo Barenbaum; Federico Lochbaum; Mariana Milicich (ICTAC, 2020)

Semantics of a Relational λ-Calculus (Extended Version). - Pablo Barenbaum; Federico Lochbaum; Mariana Milicich (CoRR, 2020)

Hybrid Intersection Types for PCF. - Pablo Barenbaum; Delia Kesner; Mariana Milicich (LPAR, 2024)

Hybrid Intersection Types for PCF (Extended Version). - Pablo Barenbaum; Delia Kesner; Mariana Milicich (CoRR, 2024)

The Essense of Useful Evaluation Through Quantitative Types (Extended Version). - Pablo Barenbaum; Delia Kesner; Mariana Milicich (CoRR, 2024)

A Fresh Inductive Approach to Useful Call-by-Value. - Pablo Barenbaum; Delia Kesner; Mariana Milicich (CADE, 2025)