K.: What is a Universal Higher-Order Programming Language (1993)

by R Cartwright, R
Venue:Proceedings of the International Conference on Automata, Languages and Programming