Skip to main navigation
Skip to search
Skip to main content
Macquarie University Home
Help & FAQ
Home
Profiles
Research units
Projects
Research Outputs
Datasets
Prizes
Activities
Press/Media
Impacts
Search by expertise, name or affiliation
Two-dimensional models of type theory
Richard Garner
*
*
Corresponding author for this work
Research output
:
Contribution to journal
›
Article
›
peer-review
26
Citations (Scopus)
24
Downloads (Pure)
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Two-dimensional models of type theory'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Mathematics
Model
29%
Semantics
38%
Sound
42%
Type Theory
100%
Engineering & Materials Science
Acoustic waves
70%
Semantics
61%