A lambda-to-CL Translation for Strong Normalization (1997)

Cached

Download Links

by Yohji Akama