Title: A computational interpretation of the [lambda] [mu]-calculus
First published: 1998
Subjects: Lambda calculus, Mathematics, Computer science