Programming languages research in the Laboratory for Foundations of Computer Science spans foundations and application areas from web programming and databases to security and quantum computation, using techniques from category theory, type theory, formal verification, operational and denotational semantics, logic, and automata theory.

Items in this Collection

  • Triangulating Context Lemmas 

    McLaughlin, Craig; McKinna, James; Stark, Ian
    Agda formalisation to accompany the paper "Triangulating Context Lemmas" by Craig McLaughlin, James McKinna and Ian Stark. DOI 10.1145/3167081.