A Computational Interpretation of the λμ-calculus (1998)

by G. M. Bierman
Citations:9 - 0 self