Jumbo λ-calculus (2006)

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