Skip to main navigation
Skip to search
Skip to main content
Heriot-Watt Research Portal Home
Help & FAQ
Home
Profiles
Research units
Research output
Datasets
Impacts
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
INIS
hypothesis
100%
information
50%
tools
50%
reduction
50%
yields
50%
construction
50%
closures
50%
Computer Science
Pure Type System
100%
Syntactics
50%
Metatheory
50%
Subject Reduction
25%
Strong Normalization
25%
Renaming
25%
Categorical Semantics
25%
Inductive Hypothesis
25%