Disjunctive Constraint Lambda Calculi.

Matthias M. Hlzl, John N. Crossley

Browse the full LPAR paper archive.