Pablo Barenbaum
Universidad de Buenos Aires
H-index: 6
Latin America-Argentina
Top articles of Pablo Barenbaum
The Essense of Useful Evaluation Through Quantitative Types (Extended Version)
arXiv preprint arXiv:2404.18874
2024/4/29
Pablo Barenbaum
H-Index: 5
Hybrid Intersection Types for PCF (Extended Version)
arXiv preprint arXiv:2404.14340
2024/4/22
Pablo Barenbaum
H-Index: 5
A Diamond Machine for Strong Evaluation
2023/11/21
Pablo Barenbaum
H-Index: 5
Two Decreasing Measures for Simply Typed Lambda-Terms (Extended Version)
arXiv preprint arXiv:2304.12440
2023/4/24
Pablo Barenbaum
H-Index: 5
Proofs and Refutations for Intuitionistic and Second-Order Logic
2023
Pablo Barenbaum
H-Index: 5
Reductions in higher-order rewriting and their equivalence
arXiv preprint arXiv:2210.15654
2022/10/27
Pablo Barenbaum
H-Index: 5
Eduardo Bonelli
H-Index: 7
A constructive logic with classical proofs and refutations
2021/6/29
Pablo Barenbaum
H-Index: 5
Semantics of a Relational -Calculus
2020/11/25
Pablo Barenbaum
H-Index: 5
Dynamic Semantics of Calculi with Explicit Substitutions at a Distance
2020/11/20
Pablo Barenbaum
H-Index: 5
Semantica dinamica de calculos de sustituciones explıcitas a distancia
2020/11
Pablo Barenbaum
H-Index: 5
Semantics of a Relational {\lambda}-Calculus (Extended Version)
arXiv preprint arXiv:2009.10929
2020/9/23
Pablo Barenbaum
H-Index: 5
Rewrites as terms through justification logic
2020/9/8
Pablo Barenbaum
H-Index: 5
Eduardo Bonelli
H-Index: 7