Modal logic and the Curry-Howard isomorphism. - Michael Florentin Nielsen (1999)

Environment classifiers. - Walid Taha; Michael Florentin Nielsen (POPL, 2003)