Publications
A Unifying Framework for Type Inhabitation
3rd International Conference on Formal Structures for Computation and Deduction, FSCD 2018, July 9-12, 2018, Oxford, UK | 2018 | inproceedings
Publication
Year of publication: 2018
Volume : 108
Pages : 5:1-5:16
Month :
CMUP publication : Yes