A Computational Interpretation of the lambda-µ-Calculus.
A Computational Interpretation of the lambda-µ-Calculus.
Gavin M. Bierman
01 September 1998
Venue : MFCS
External Link: https://doi.org/10.1007/BFb0055783
01 September 1998
Venue : MFCS
External Link: https://doi.org/10.1007/BFb0055783