Hoare Calculi for Higher-Type Control Structures and Their Completeness in the Sense of Cook.

Andreas Goerdt

Browse the full MFCS paper archive.