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
Initial semantics for reduction rules
Benedikt Ahrens
Computer Science
Research output
:
Contribution to journal
›
Article
›
peer-review
75
Downloads (Pure)
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Initial semantics for reduction rules'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Mathematics
Semantics
100%
Syntax
94%
Language
70%
Lambda Calculus
65%
Faithful
40%
Object
39%
Target
33%
Model
31%
Operational Semantics
24%
Morphism
17%
Characterization
10%
Operator
9%
Class
5%
Engineering & Materials Science
Semantics
79%
Syntactics
19%