1\taxon{Course}
2\title{Introduction to Theoretical Computer Science}
3\author{liamoc}
4\author{jcb}
5\meta{venue}{[[uoe]]}
6\meta{external}{https://opencourse.inf.ed.ac.uk/itcs}
7\p{Automata theory, computability theory, complexity theory, lambda calculus.}
liamoc.net