TY - CONF T1 - From types to sets by local type definitions in higher-order logic JO - Interactive Theorem Proving: 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings PY - 2016/08/07 AU - Kun膷ar O AU - Popescu A ED - DO - DOI: 10.1007/978-3-319-43144-4_13 PB - Springer International Publishing SN - 9783319431437 VL - LNTCS,volume 9807 SP - 200 EP - 218 Y2 - 2025/05/18 ER -