Trust in the λ-calculus (1997)

by P Ørbæk, J Palsberg
Venue:Journal of Functional Programming