Article contents
Control effects as a modality
Published online by Cambridge University Press:� 01 January 2009
Abstract
We combine ideas from types for continuations, effect systems and monads in a very simple setting by defining a version of classical propositional logic in which double-negation elimination is combined with a modality. The modality corresponds to control effects, and it includes a form of effect masking. Erasing the modality from formulas gives classical logic. On the other hand, the logic is conservative over intuitionistic logic.
- Type
- Theoretical Pearls
- Information
- Copyright
- Copyright © Cambridge University Press 2008
References
- 3
- Cited by
Discussions
No Discussions have been published for this article.