External Links

    Journal: Journal of Functional and Logic Programming

    Volume 2000, Issue 1

    0 -- 0Joëlle Despeyroux, Pierre Leleu. Metatheoretic Results for a Modal lambda-Calculus
    runs on