Models of Computation Assessed Coursework Template

Author
Thomas Wood
View Count
3058
License
Other (as stated in the work)
Abstract
LaTeX 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
Models of Computation Assessed Coursework Template