Models of Computation Assessed Coursework Template

Author
Thomas Wood
View Count
8128
AbstractLaTeX template for C240 Models of Computation assessed coursework Contains macros for typesetting operational semantic rules and proof trees and other notation used in the first half of the course. Department of Computing, Imperial College London