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  - 2024/12/23

ER  -