Trust in the λ-calculus (0)

by Jens Palsberg, Peter Ørbæk
Venue:In Proc. 2nd International Symposium on Static Analysis, number 983 in Lecture