Items where authors include "Kunčar, O."

Article

Kunčar, O. and Popescu, A. orcid.org/0000-0001-8747-0619 (2019) A consistent foundation for Isabelle/HOL. Journal of Automated Reasoning, 62 (4). pp. 531-555. ISSN 0168-7433

Kunčar, O. and Popescu, A. orcid.org/0000-0001-8747-0619 (2019) From types to sets by local type definition in higher-order logic. Journal of Automated Reasoning, 62 (2). pp. 237-260. ISSN 0168-7433

Kunčar, O. and Popescu, A. orcid.org/0000-0001-8747-0619 (2018) Safety and conservativity of definitions in HOL and Isabelle/HOL. Proceedings of the ACM on Programming Languages, 2 (POPL). 24. ISSN 2475-1421

Proceedings Paper

Kunčar, O. and Popescu, A. (2017) Comprehending Isabelle/HOL’s Consistency. In: Programming Languages and Systems: 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017, Proceedings. 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, 22-29 Apr 2017, Uppsala, Sweden. Lecture Notes in Computer Science, LNTCS,volume 10201 . Springer Berlin Heidelberg , pp. 724-749. ISBN 9783662544334

Kunčar, O. and Popescu, A. orcid.org/0000-0001-8747-0619 (2016) From types to sets by local type definitions in higher-order logic. In: Blanchette, J.C. and Merz, S., (eds.) Interactive Theorem Proving: 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings. 7th International Conference, ITP 2016, 22-25 Aug 2016, Nancy, France. Lecture Notes in Computer Science, LNTCS,volume 9807 . Springer International Publishing , pp. 200-218. ISBN 9783319431437