Word Operation Definable in the Typed lambda-Calculus

M. Zaionc
DOI: https://doi.org/10.1016/0304-3975(87)90077-6
IF: 1.002
1987-05-01
Theoretical Computer Science
Abstract:
What problem does this paper attempt to address?