Unifying Classical and Intuitionistic Logics for Computational Control.

Chuck C. Liang, Dale Miller

Browse the full LICS paper archive.