Trust in the λ-Calculus (1995)

by Jens Palsberg , Peter Ørbæk
Venue:JOURNAL OF FUNCTIONAL PROGRAMMING
Citations:53 - 0 self