Lifting Proof-Relevant Unification to Higher Dimensions

Jesper Cockx, Dominique Devriese

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › Research

2 Citations (Scopus)
Original languageEnglish
Title of host publicationProceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs
PublisherACM
Pages173-181
DOIs
Publication statusPublished - 2017
EventACM SIGPLAN Conference on Certified Programs and Proofs - Paris, France
Duration: 16 Jan 2017 → 17 Jan 2017
http://cpp2017.mpi-sws.org/

Conference

ConferenceACM SIGPLAN Conference on Certified Programs and Proofs
Abbreviated titleCPP
Country/TerritoryFrance
CityParis
Period16/01/17 → 17/01/17
Internet address

Keywords

  • Unification
  • Type Theory
  • Dependent Types
  • Inductive Families
  • Agda

Access to Document

  • EAPLS PhD Disseration Award 2017/18

    Cockx, J. (Recipient), Devriese, D. (Recipient) & Piessens, F. (Recipient), 18 Dec 2018

    Prize: Prize (including medals and awards)

Cite this