Lifting Proof-Relevant Unification to Higher Dimensions

Jesper Cockx, Dominique Devriese

Informatica en Toegepaste Informatica

Onderzoeksoutput: Conference paper

2 Citaten (Scopus)

1 resultaten
- Titel(aflopend)
- Toekenningsdatum

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