Pablo Barenbaum

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 23

Top Topics

Sequent Calculus

Arithmetic Constraints

Extended Abstract

Top Venues

Publications

Pablo Barenbaum, Delia Kesner, Mariana Milicich
Hybrid Intersection Types for PCF. LPAR (2024)
Pablo Barenbaum, Delia Kesner, Mariana Milicich
The Essense of Useful Evaluation Through Quantitative Types (Extended Version). CoRR (2024)
Pablo Barenbaum, Delia Kesner, Mariana Milicich
Hybrid Intersection Types for PCF (Extended Version). CoRR (2024)
Pablo Barenbaum, Cristian Sottile
Two Decreasing Measures for Simply Typed λ-Terms. FSCD (2023)
Pablo Barenbaum, Eduardo Bonelli
Reductions in Higher-Order Rewriting and Their Equivalence. CSL (2023)
Pablo Barenbaum, Cristian Sottile
Two Decreasing Measures for Simply Typed Lambda-Terms (Extended Version). CoRR (2023)
Beniamino Accattoli, Pablo Barenbaum
A Diamond Machine For Strong Evaluation. CoRR (2023)
Pablo Barenbaum, Teodoro Freund
Proofs and Refutations for Intuitionistic and Second-Order Logic. CSL (2023)
Beniamino Accattoli, Pablo Barenbaum
A Diamond Machine for Strong Evaluation. APLAS (2023)
Pablo Barenbaum, Eduardo Bonelli
Reductions in Higher-Order Rewriting and Their Equivalence. CoRR (2022)
Pablo Barenbaum, Teodoro Freund
Proofs and Refutations for Intuitionistic and Second-Order Logic (Extended Version). CoRR (2022)
Pablo Barenbaum, Teodoro Freund
A Constructive Logic with Classical Proofs and Refutations. LICS (2021)
Pablo Barenbaum, Teodoro Freund
A Constructive Logic with Classical Proofs and Refutations (Extended Version). CoRR (2021)
Pablo Barenbaum, Federico Lochbaum, Mariana Milicich
Semantics of a Relational λ-Calculus. ICTAC (2020)
Pablo Barenbaum, Federico Lochbaum, Mariana Milicich
Semantics of a Relational λ-Calculus (Extended Version). CoRR (2020)
Pablo Barenbaum, Eduardo Bonelli
Rewrites as Terms through Justification Logic. PPDP (2020)
Pablo Barenbaum, Gonzalo Ciruelos
Factoring Derivation Spaces via Intersection Types (Extended Version). CoRR (2019)
Pablo Barenbaum, Eduardo Bonelli, Kareem Mohamed
Pattern Matching and Fixed Points: Resource Types and Strong Call-By-Need: Extended Abstract. PPDP (2018)
Pablo Barenbaum, Gonzalo Ciruelos
Factoring Derivation Spaces via Intersection Types. APLAS (2018)
Thibaut Balabonski, Pablo Barenbaum, Eduardo Bonelli, Delia Kesner
Foundations of strong call by need. Proc. ACM Program. Lang. 1 (ICFP) (2017)
Pablo Barenbaum, Eduardo Bonelli
Optimality and the Linear Substitution Calculus. FSCD (2017)
Beniamino Accattoli, Pablo Barenbaum, Damiano Mazza
A Strong Distillery. CoRR (2015)
Beniamino Accattoli, Pablo Barenbaum, Damiano Mazza
A Strong Distillery. APLAS (2015)
Beniamino Accattoli, Pablo Barenbaum, Damiano Mazza
Distilling abstract machines. ICFP (2014)
Beniamino Accattoli, Pablo Barenbaum, Damiano Mazza
Distilling Abstract Machines (Long Version). CoRR (2014)
Pablo Barenbaum, Verónica Becher, Alejandro Deymonnaz, Melisa Halsband, Pablo Ariel Heiber
Efficient repeat finding in sets of strings via suffix arrays. Discret. Math. Theor. Comput. Sci. 15 (2) (2013)
Eduardo Bonelli, Pablo Barenbaum
Superdevelopments for Weak Reduction WRS (2009)