Skip to main navigation
Skip to search
Skip to main content
Help & FAQ
Home
Profiles
Research Units
Research Output
Datasets
Equipment
Prizes
Activities
Press / Media
Courses
Search by expertise, name or affiliation
Candidates for Substitution
Healfdene Goguen,
James McKinna
Computer Science
School of Mathematical & Computer Sciences
Research output
:
Book/Report
›
Other report
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Candidates for Substitution'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Mathematics
Substitution
Morphism
Context
Thinning
Type Theory
Type Systems
Syntax
Semantics
Strong Normalization
Collaboration
Admissibility
Strengthening
Normalization
Style
Categorical
Meaning
Similarity
Closure
Observation
Class
Closed
Framework
Term
Characterization