Type systems for the Spartan Calculus
Lead Research Organisation:
University of Birmingham
Department Name: School of Computer Science
Abstract
The aim of this project is to develop a sound and complete diagrammatic semantics for digital circuits, continuing on from the work by Ghica, Jung and Lopez. This will involve defining a graphical language (using 'hypergraphs'), then defining several operations on it (e.g. equivalence of graphs, how to composing graphs together). Once this language is formalised, a way of representing the equational representation of circuits developed in Ghica and Jung's 'Categorical semantics for digital circuits' in the graphical language must be developed. It must then be shown that every circuit can be represented as a well-formed diagram (soundness), and that every diagram represents a well-formed circuit (completeness).
Organisations
People |
ORCID iD |
Dan Ghica (Primary Supervisor) | |
George Kaye (Student) |
Studentship Projects
Project Reference | Relationship | Related To | Start | End | Student Name |
---|---|---|---|---|---|
EP/N509590/1 | 01/10/2016 | 30/09/2021 | |||
2273985 | Studentship | EP/N509590/1 | 30/09/2019 | 29/03/2023 | George Kaye |
EP/R513167/1 | 01/10/2018 | 30/09/2023 | |||
2273985 | Studentship | EP/R513167/1 | 30/09/2019 | 29/03/2023 | George Kaye |