Pablo Barenbaum

activity

20102026

most citedA Strong Distillery

2 citations · 6 across the 13 of their papers we have counts for

collaborators

Showing 2026Show all

2 papers · 1 filter

cs.LO2026

Verifiers and Generators: Epistemic Semantics for Intuitionistic Logic (Long Version)

Pablo Barenbaum

This paper explores epistemic realizability, a form of realizability in which the property that a piece of data constitutes evidence for a logical proposition is semi-decidable. In…

cs.LO2026

A Classical Linear $λ$ -Calculus based on Contraposition

Pablo Barenbaum, Eduardo Bonelli, Leopoldo Lerena

We present a novel linear $λ$ -calculus for Classical Multiplicative Exponential Linear Logic (\MELL) along the lines of the propositions-as-types paradigm. Starting from the standa…

Verifiers and Generators: Epistemic Semantics for Intuitionistic Logic (Long Version)

A Classical Linear λ-Calculus based on Contraposition

A Classical Linear $λ$ -Calculus based on Contraposition