@inproceedings{inproceedings, title = {{From types to sets by local type definitions in higher-order logic}}, publisher = {{Springer International Publishing}}, url = {{}}, year = {{2016}}, month = {{8}}, author = {{Kun膷ar O and Popescu A}}, doi = {{10.1007/978-3-319-43144-4_13}}, isbn = {{9783319431437}}, volume = {{LNTCS,volume 9807}}, journal = {{Interactive Theorem Proving: 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings}}, pages = {{200-218}}, note = {{Accessed on 2025/06/28}}}