Pablo Barenbaum

Identifiers

• name variant Pablo Barenbaum 0.60 · backfill

Papers (4)

1. Verifiers and Generators: Epistemic Semantics for Intuitionistic Logic (Long Version) cs.LO · 2026 · author #1
2. Factoring Derivation Spaces via Intersection Types (Extended Version) cs.LO · 2019 · author #1
3. A Strong Distillery cs.PL · 2015 · author #2
4. Distilling Abstract Machines (Long Version) cs.PL · 2014 · author #2

Mentions

• 1509.00996 #2 · backfill · confidence 0.70 Pablo Barenbaum
• 1406.2370 #2 · backfill · confidence 0.70 Pablo Barenbaum
• 2605.16157 #1 · arxiv_oai · confidence 0.70 Pablo Barenbaum

Frequent Coauthors

• Beniamino Accattoli 2 shared papers
• Damiano Mazza 2 shared papers
• Gonzalo Ciruelos 1 shared papers