Lifting Proof-Relevant Unification to Higher Dimensions

Jesper Cockx, Dominique Devriese

Informatics and Applied Informatics

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

2 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)