computational interpretation of the [lambda] [mu]-calculus
By: by G. M. Bierman.
Contributors: University of Cambridge. Computer Laboratory.
Series: Technical report -- No.448
Publisher: University of Cambridge Computer Laboratory
Published: 1998
Language: eng
Number of pages: 27
Subjects: Computer science -- Mathematics.; Lambda calculus.