Metatheoretic results for a modal λ-calculus (0)

by Joelle Despeyroux, Pierre Leleu
Venue:Journal of Functional and Logic Programming