TY  - JOUR

T1  - Safety and conservativity of definitions in HOL and Isabelle/HOL

JO  - Proceedings of the ACM on Programming Languages

PY  - 2018/01/01

AU  - Kunčar O

AU  - Popescu A

ED  - 

DO  - DOI: 10.1145/3158112

PB  - Association for Computing Machinery (ACM)

VL  - 2

IS  - POPL

SP  - ---

Y2  - 2025/11/27

ER  -