Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Pablo Barenbaum
Map detail
Pablo Barenbaum5 visible / 5 total nodes / 4 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipPablo BarenbaumAPablo BarenbaumResearcherSemantics of a Relational λ-Calculus (Extended Version)WSemantics of a Relation...preprint / 2021Superdevelopments for Weak ReductionWSuperdevelopments for W...preprint / 2010Distilling Abstract Machines (Long Version)WDistilling Abstract Mac...preprint / 2014A Strong DistilleryWA Strong Distillerypreprint / 2016
Person4 links

Pablo Barenbaum

Researcher