• 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.