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
Syntax
100%
Semantics
87%
Language
64%
Sort
44%
Term
39%
Iteration
38%
Faithful
30%
Object
29%
Intuitionistic Logic
17%
Propositional Logic
16%
Lambda Calculus
16%
Programming Languages
15%
Integrate
15%
Signature
13%
Substitution
13%
Characterization
7%
Operator
6%
Theorem
5%
Model
4%