Edinburgh Research Explorer

Triangulating Context Lemmas

Dataset

Related Edinburgh Organisations

PublisherEdinburgh DataShare
Date made available6 Dec 2017

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.

ID: 49300435