Skip to main navigation
Skip to search
Skip to main content
the University of Bath's research portal Home
Help & FAQ
Home
Profiles
Research output
Projects
Datasets
Student theses
Equipment
Research units
Activities
Prizes
Press/Media
Search by expertise, name or affiliation
A graph model for imperative computation
Guy A McCusker
Department of Computer Science
Mathematical Foundations of Computation
Research output
:
Contribution to journal
›
Article
›
peer-review
9
Citations (SciVal)
168
Downloads (Pure)
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'A graph model for imperative computation'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Computer Science
Programming Language
100%
lambda-calculus
100%
Syntactics
100%
Type Systems
100%
Relation Mapping
100%
Universal Domain
100%
Variable Assignment
100%
Mathematics
Type Systems
33%