Skip to main navigation
Skip to search
Skip to main content
University of Birmingham Home
Help & FAQ
Home
Research output
Profiles
Research units
Projects
Activities
Datasets
Equipment
Prizes
Press/Media
Search by expertise, name or affiliation
Control effects as a modality
Hayo Thielecke
Computer Science
Research output
:
Contribution to journal
›
Article
›
peer-review
3
Citations (Scopus)
245
Downloads (Pure)
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Control effects as a modality'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Keyphrases
Control Effect
100%
Monads
50%
Classical Logic
50%
Double Negation
50%
Intuitionistic Logic
50%
Effect Systems
50%
Classical Propositional Logic
50%
Mathematics
Intuitionistic Logic
100%
Classical Logic
100%
Medicine and Dentistry
Masking
100%