1 citations · 1 across the 1 of their papers we have counts for
1 paper · 1 filter
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…