On computational interpretations of the modal logic S4, part IIIb (1997)

by J Goubault-Larrecq