BibTeX Export

@inproceedings{Authenticus:P-00N-ZSX,
	title = {{A Unifying Framework for Type Inhabitation}},
	author = {S Alves and S Broda},
	booktitle = {3rd International Conference on Formal Structures for Computation and Deduction, FSCD 2018, July 9-12, 2018, Oxford, UK},
	pages = {5:1-5:16},
	publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
	type = {Proceedings Paper},
	volume = {108},
	year = {2018}
}