A linearization of the Lambda-calculus and consequences (2000)

by A J Kfoury
Venue:Journal of Logic and Computation