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
Initiality for typed syntax and semantics
Benedikt Ahrens
*
*
Corresponding author for this work
Computer Science
Research output
:
Contribution to journal
›
Special issue
›
peer-review
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Initiality for typed syntax and semantics'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Mathematics
Characterization
7%
Faithful
30%
Integrate
15%
Intuitionistic Logic
17%
Iteration
38%
Lambda Calculus
16%
Language
64%
Model
4%
Object
29%
Operator
6%
Programming Languages
15%
Propositional Logic
16%
Semantics
87%
Signature
13%
Sort
44%
Substitution
13%
Syntax
100%
Term
39%
Theorem
5%