A Computational Interpretation of the -calculus (1998)

by G M Bierman
Venue:In Mathematical Foundations of Computer Science, volume 1450 of LNCS