@conference {610, title = {From Types to Sets by Local Type Definitions in Higher-Order Logic}, booktitle = {Proceedings of the 7th International Conference on Interactive Theorem Proving (ITP)}, year = {2016}, author = {Ond{\v r}ej Kun{\v c}ar and Andrei Popescu} }