Names and Symmetry in Computer Science Andrew Pitts Computer Laboratory LICS 2015 Tutorial 1/27 An introduction to nominal techniques motivated by Programming language semantics Automata theory Constructive type theory 2/27 Compositionality in semantics The meaning of a compound phrase should be a well-defined function of the meanings of its constituent subphrases. Although one can define behaviour