Functional programming with λ-tree syntax.

Ulysse Grard, Dale Miller, Gabriel Scherer

Browse the full PPDP paper archive.