Jumbo λ-calculus (2006)

by P B Levy
Venue:In: Proceedings of the 33rd International Colloquium on Automata, Languages and Programming