Triangulating Context Lemmas

  • Craig McLaughlin (Creator)
  • James McKinna (Creator)
  • Ian Stark (Creator)

Dataset

Description

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

Data Citation

McLaughlin, Craig; McKinna, James; Stark, Ian. (2017). Triangulating Context Lemmas, [software]. University of Edinburgh. http://dx.doi.org/10.7488/ds/2264.
Date made available6 Dec 2017
PublisherEdinburgh DataShare

Access Dataset

Cite this