Models of Computation Assessed Coursework Template
Author
Thomas Wood
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