BARENBAUM, PABLO; FREUND, TEODORO

Proofs and Refutations for Intuitionistic and Second-Order Logic

31st EACSL Annual Conference on Computer Science Logic (CSL 2023)

Lugar: Varsovia; Año: 2023;

BARENBAUM, PABLO; BONELLI, EDUARDO

Reductions in Higher-Order Rewriting and Their Equivalence

31st Annual Conference on Computer Science Logic (CSL 2023)

Lugar: Varsovia; Año: 2023;

PABLO BARENBAUM; CRISTIAN SOTTILE

Two Decreasing Measures for Simply Typed λ-Terms

8th International Conference on Formal Structures for Computation and Deduction

Lugar: Roma; Año: 2023;

BENIAMINO ACCATTOLI; PABLO BARENBAUM

A Diamond Machine for Strong Evaluation

21st Asian Symposium on Programming Languages and Systems (APLAS)

Lugar: Taipei; Año: 2023;

BARENBAUM, PABLO; FREUND, TEODORO

A Constructive Logic with Classical Proofs and Refutations

2021 Symposium on Logic in Computer Science (LICS)

Lugar: Roma; Año: 2021;

PABLO BARENBAUM; FEDERICO LOCHBAUM; MARIANA MILICICH

Semantics of a Relational Lambda-Calculus

International Colloquium on Theoretical Aspects of Computing

Lugar: Macau; Año: 2020;

BARENBAUM, PABLO; EDUARDO BONELLI

Rewrites as Terms through Justification Logic

Principles and Practice of Declarative Programming

Lugar: Bologna; Año: 2020;

PABLO BARENBAUM; GONZALO CIRUELOS

Factoring Derivation Spaces via Intersection Types

Programming Languages and Systems 16th Asian Symposium, APLAS 2018

Lugar: Wellington; Año: 2018;

PABLO BARENBAUM; EDUARDO BONELLI; KAREEM MOHAMED

Pattern Matching and Fixed Points: Resource Types and Strong Call-By-Need: Extended Abstract

International Symposium on Principles and Practice of Declarative Programming

Lugar: Frankfurt am Main; Año: 2018;

PABLO BARENBAUM; EDUARDO BONELLI

Optimality and the Linear Substitution Calculus

2nd International Conference on Formal Structures for Computation and Deduction (FSCD 2017)

Lugar: Oxford; Año: 2017;

BENIAMINO ACCATTOLI; PABLO BARENBAUM; DAMIANO MAZZA

A Strong Distillery

Programming Languages and Systems - 13th Asian Symposium (APLAS 2015)

Lugar: Pohang; Año: 2015;

BONELLI, EDUARDO; BARENBAUM, PABLO

Superdevelopments for Weak Reduction

9th Int. Workshop on Reduction Strategies in Rewriting and Programming

Lugar: Brasilia; Año: 2009;