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
Modules over relative monads for syntax and semantics
Benedikt Ahrens
Computer Science
Research output
:
Contribution to journal
›
Article
›
peer-review
6
Citations (Scopus)
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Modules over relative monads for syntax and semantics'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Keyphrases
Programming Languages
100%
Monads
100%
Initial Object
100%
Relative Monad
100%
Functional Programming Languages
50%
Algebraic Characterization
50%
Proof Assistant Coq
50%
Reduction Relation
50%
Reduction Rules
50%
Computer Science
Programming Language
100%
Functional Programming
33%
Reduction Relation
33%
Mathematics
Programming Language
100%