@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 2024/09/19}}}