Lifting Proof-Relevant Unification to Higher Dimensions

Jesper Cockx; Dominique Devriese

doi:10.1145/3018610.3018612

Lifting Proof-Relevant Unification to Higher Dimensions

Jesper Cockx, Dominique Devriese

Informatica en Toegepaste Informatica

Onderzoeksoutput: Conference paper

2 Citaten (Scopus)

Originele taal-2	English
Titel	Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs
Uitgeverij	ACM
Pagina's	173-181
DOI's	https://doi.org/10.1145/3018610.3018612
Status	Published - 2017
Evenement	ACM SIGPLAN Conference on Certified Programs and Proofs - Paris, France Duur: 16 jan. 2017 → 17 jan. 2017 http://cpp2017.mpi-sws.org/

Conference

Conference	ACM SIGPLAN Conference on Certified Programs and Proofs
Verkorte titel	CPP
Land/Regio	France
Stad	Paris
Periode	16/01/17 → 17/01/17
Internet adres	http://cpp2017.mpi-sws.org/

Toegang tot document

10.1145/3018610.3018612

EAPLS PhD Disseration Award 2017/18
Cockx, Jesper (Recipient), Devriese, Dominique (Recipient) & Piessens, Frank (Recipient), 18 dec. 2018
Prijs: Prize (including medals and awards)

Citeer dit

@inproceedings{c1beff4c7011491896c7f7be936be69a,

title = "Lifting Proof-Relevant Unification to Higher Dimensions",

keywords = "Unification, Type Theory, Dependent Types, Inductive Families, Agda",

author = "Jesper Cockx and Dominique Devriese",

year = "2017",

doi = "10.1145/3018610.3018612",

language = "English",

pages = "173--181",

booktitle = "Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs",

publisher = "ACM",

note = "ACM SIGPLAN Conference on Certified Programs and Proofs , CPP ; Conference date: 16-01-2017 Through 17-01-2017",

url = "http://cpp2017.mpi-sws.org/",

}

TY - GEN

T1 - Lifting Proof-Relevant Unification to Higher Dimensions

AU - Cockx, Jesper

AU - Devriese, Dominique

PY - 2017

Y1 - 2017

KW - Unification

KW - Type Theory

KW - Dependent Types

KW - Inductive Families

KW - Agda

U2 - 10.1145/3018610.3018612

DO - 10.1145/3018610.3018612

M3 - Conference paper

SP - 173

EP - 181

BT - Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs

PB - ACM

T2 - ACM SIGPLAN Conference on Certified Programs and Proofs

Y2 - 16 January 2017 through 17 January 2017

ER -

Lifting Proof-Relevant Unification to Higher Dimensions

Conference

Toegang tot document

Prijzen

EAPLS PhD Disseration Award 2017/18

Citeer dit