3 papers
cs.LO2021
A Constructive Logic with Classical Proofs and Refutations (Extended Version)
Pablo Barenbaum, Teodoro Freund
We study a conservative extension of classical propositional logic distinguishing between four modes of statement: a proposition may be affirmed or denied, and it may be strong or…
cs.PL2020
Semantics of a Relational λ-Calculus (Extended Version)
Pablo Barenbaum, Federico Lochbaum, Mariana Milicich
We extend the λ-calculus with constructs suitable for relational and functional-logic programming: non-deterministic choice, fresh variable introduction, and unification of express…
cs.LO2019
Factoring Derivation Spaces via Intersection Types (Extended Version)
Pablo Barenbaum, Gonzalo Ciruelos
In typical non-idempotent intersection type systems, proof normalization is not confluent. In this paper we introduce a confluent non-idempotent intersection type system for the la…