Joëlle Despeyroux Pierre Leleu Metatheoretic Results for a Modal lambda-Calculus 2000 2000 Journal of Functional and Logic Programming 1 db/journals/jflp/jflp2000.html#DespeyrouxL00