On computational interpretations of the modal logic S4 II. The evQ-calculus (1996)

by Jean Goubault-Larrecq