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
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
University of Edinburgh
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
Social Sciences
Substitution
66%
Theory
55%
Normalization
22%
Metatheory
22%
Candidate
22%
Hypothesis
22%
Thinning
22%
Collaboration
11%
Information
11%
Authors
11%
Construction
11%
Meaning
11%
Subject
11%
Observation
11%
Introduction
11%
Syntax
11%
Office Services
11%
Computer Science
Contexts
100%
Pure Type System
44%
Syntactics
22%
Metatheory
22%
Classes
22%
Subject Reduction
11%
Strong Normalization
11%
Renaming
11%
Categorical Semantics
11%
Inductive Hypothesis
11%
Semantics
11%
Closure
11%
Normalization
11%
Mathematics
Morphism
77%
Type Theory
44%
Classes
22%
Admissibility
11%
Inductive Hypothesis
11%
Terms
11%
Bases
11%
Closure
11%
Normalization
11%
Psychology
Semantics
22%
Checking
22%
Tools
11%
Metatheories
11%