Skip to main navigation
Skip to search
Skip to main content
University of Edinburgh Research Explorer Home
Help & FAQ
Home
Research output
Profiles
Research units
Projects
Datasets
Prizes
Activities
Press/Media
Equipment
Search by expertise, name or affiliation
On the ubiquity of certain total type structures
John Longley
School of Informatics
Laboratory for Foundations of Computer Science
Research output
:
Contribution to journal
›
Article
›
peer-review
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'On the ubiquity of certain total type structures'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Mathematics
Class
50%
Computability
96%
Distinct
60%
Equivalence
59%
Evidence
71%
Family
40%
Immediately
85%
Object
58%
Observation
56%
Range of data
52%
Standards
47%
Substructure
100%
Theorem
34%