Show simple item record

Depositordc.contributorStark, Ian
Funderdc.contributor.otherEPSRC - Engineering and Physical Sciences Research Councilen_UK
Data Creatordc.creatorMcLaughlin, Craig
Data Creatordc.creatorMcKinna, James
Data Creatordc.creatorStark, Ian
Date Accessioneddc.date.accessioned2017-12-06T10:43:12Z
Date Availabledc.date.available2017-12-06T10:43:12Z
Citationdc.identifier.citationMcLaughlin, Craig; McKinna, James; Stark, Ian. (2017). Triangulating Context Lemmas, [software]. University of Edinburgh. https://doi.org/10.7488/ds/2264.en
Persistent Identifierdc.identifier.urihttp://hdl.handle.net/10283/2965
Persistent Identifierdc.identifier.urihttps://doi.org/10.7488/ds/2264
Dataset Description (abstract)dc.description.abstractAgda formalisation to accompany the paper "Triangulating Context Lemmas" by Craig McLaughlin, James McKinna and Ian Stark. DOI 10.1145/3167081.en_UK
Languagedc.language.isoengen_UK
Publisherdc.publisherUniversity of Edinburghen_UK
Relation (Is Referenced By)dc.relation.isreferencedbyhttps://doi.org/10.1145/3167081en_UK
Relation (Is Referenced By)dc.relation.isreferencedbyMcLaughlin, Craig; McKinna, James; Stark, Ian "Triangulating Context Lemmas" (Accepted) DOI: 10.1145/3167081.en_UK
Rightsdc.rightsCreative Commons Attribution 4.0 International Public Licenseen
Subject Classificationdc.subject.classificationMathematical and Computer Sciences::Computer Scienceen_UK
Titledc.titleTriangulating Context Lemmasen_UK
Typedc.typesoftwareen_UK

Download All
zip file MD5 Checksum: 621f0587c729e1a3985e390f5decf136

Files in this item

Thumbnail
Thumbnail
Thumbnail

This item appears in the following Collection(s)

Show simple item record