Unifiers as Equivalences Proof-Relevant Unification of Dependently Typed Data

Jesper Cockx, Dominique Devriese, Frank Piessens

Informatics and Applied Informatics

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Research › peer-review

6 Citations (Scopus)

1 results
- Title(descending)
- Award date

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