Pablo Barenbaum

34 papers A* 1A 2B 11C 3Journal 15Unranked 1
YearRankTypeTitle / Venue / Authors
2026 J jnl
A Classical Linear λ-Calculus based on Contraposition.
CoRR
Pablo Barenbaum, Eduardo Bonelli, Leopoldo Lerena
2026 B conf
Useful Call-by-Value: A Semantic Interpretation via Quantitative Types.
CSL
Pablo Barenbaum, Delia Kesner, Mariana Milicich
2025 A conf
A Fresh Inductive Approach to Useful Call-by-Value.
CADE
Pablo Barenbaum, Delia Kesner, Mariana Milicich
2025 J jnl
Sharing and Linear Logic with Restricted Access (Extended Version).
CoRR
Pablo Barenbaum, Eduardo Bonelli
2025 B conf
Sharing and Linear Logic with Restricted Access.
FoSSaCS
Pablo Barenbaum, Eduardo Bonelli
2025 B conf
Strong normalization through idempotent intersection types: a new syntactical approach.
MFPS
Pablo Barenbaum, Simona Ronchi Della Rocca, Cristian Sottile
2024 J jnl
Hybrid Intersection Types for PCF (Extended Version).
CoRR
Pablo Barenbaum, Delia Kesner, Mariana Milicich
2024 B conf
Hybrid Intersection Types for PCF.
LPAR
Pablo Barenbaum, Delia Kesner, Mariana Milicich
2024 J jnl
The Essense of Useful Evaluation Through Quantitative Types (Extended Version).
CoRR
Pablo Barenbaum, Delia Kesner, Mariana Milicich
2023 J jnl
A Diamond Machine For Strong Evaluation.
CoRR
Beniamino Accattoli, Pablo Barenbaum
2023 B conf
A Diamond Machine for Strong Evaluation.
APLAS
Beniamino Accattoli, Pablo Barenbaum
2023 B conf
Proofs and Refutations for Intuitionistic and Second-Order Logic.
CSL
Pablo Barenbaum, Teodoro Freund
2023 B conf
Reductions in Higher-Order Rewriting and Their Equivalence.
CSL
Pablo Barenbaum, Eduardo Bonelli
2023 J jnl
Two Decreasing Measures for Simply Typed Lambda-Terms (Extended Version).
CoRR
Pablo Barenbaum, Cristian Sottile
2023 B conf
Two Decreasing Measures for Simply Typed λ-Terms.
FSCD
Pablo Barenbaum, Cristian Sottile
2022 J jnl
Proofs and Refutations for Intuitionistic and Second-Order Logic (Extended Version).
CoRR
Pablo Barenbaum, Teodoro Freund
2022 J jnl
Reductions in Higher-Order Rewriting and Their Equivalence.
CoRR
Pablo Barenbaum, Eduardo Bonelli
2021 J jnl
A Constructive Logic with Classical Proofs and Refutations (Extended Version).
CoRR
Pablo Barenbaum, Teodoro Freund
2021 A* conf
A Constructive Logic with Classical Proofs and Refutations.
LICS
Pablo Barenbaum, Teodoro Freund
2020 — —
Dynamic Semantics of Calculi with Explicit Substitutions at a Distance. (Semántica dinámica de cálculos de sustituciones explícitas a distancia / Sémantique dynamique des calculs avec substitutions explicites à distance).
Pablo Barenbaum
2020 C conf
Rewrites as Terms through Justification Logic.
PPDP
Pablo Barenbaum, Eduardo Bonelli
2020 J jnl
Semantics of a Relational λ-Calculus (Extended Version).
CoRR
Pablo Barenbaum, Federico Lochbaum, Mariana Milicich
2020 C conf
Semantics of a Relational λ-Calculus.
ICTAC
Pablo Barenbaum, Federico Lochbaum, Mariana Milicich
2019 J jnl
Factoring Derivation Spaces via Intersection Types (Extended Version).
CoRR
Pablo Barenbaum, Gonzalo Ciruelos
2018 B conf
Factoring Derivation Spaces via Intersection Types.
APLAS
Pablo Barenbaum, Gonzalo Ciruelos
2018 C conf
Pattern Matching and Fixed Points: Resource Types and Strong Call-By-Need: Extended Abstract.
PPDP
Pablo Barenbaum, Eduardo Bonelli, Kareem Mohamed
2017 J jnl
Foundations of strong call by need.
Proc. ACM Program. Lang.
Thibaut Balabonski, Pablo Barenbaum, Eduardo Bonelli, Delia Kesner
2017 B conf
Optimality and the Linear Substitution Calculus.
FSCD
Pablo Barenbaum, Eduardo Bonelli
2015 B conf
A Strong Distillery.
APLAS
Beniamino Accattoli, Pablo Barenbaum, Damiano Mazza
2015 J jnl
A Strong Distillery.
CoRR
Beniamino Accattoli, Pablo Barenbaum, Damiano Mazza
2014 J jnl
Distilling Abstract Machines (Long Version).
CoRR
Beniamino Accattoli, Pablo Barenbaum, Damiano Mazza
2014 A conf
Distilling abstract machines.
ICFP
Beniamino Accattoli, Pablo Barenbaum, Damiano Mazza
2013 J jnl
Efficient repeat finding in sets of strings via suffix arrays.
Discret. Math. Theor. Comput. Sci.
Pablo Barenbaum, Verónica Becher, Alejandro Deymonnaz, Melisa Halsband, Pablo Ariel Heiber
2009 — conf
Superdevelopments for Weak Reduction
WRS
Eduardo Bonelli, Pablo Barenbaum