Items where Author / Artist / Editor is "Kunčar, Ondřej"

See full list of headings
Export as [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 5.

Article

Kunčar, Ondřej and Popescu, Andrei (2018) Safety and conservativity of definitions in HOL and Isabelle/HOL. Proceedings of the ACM on Programming Languages, 2 . 24:1-24:26. ISSN 2475-1421 (doi:10.1145/3158112)

Conference or Workshop Item

Biendarra, Julian, Blanchette, Jasmin Christian, Bouzy, Aymeric, Desharnais, Martin, Fleury, Mathias, Hölzl, Johannes, Kunčar, Ondřej, Lochbihler, Andreas, Meier, Fabian, Panny, Lorenz, Popescu, Andrei, Sternagel, Christian, Thiemann, René and Traytel, Dmitriy (2017) Foundational (co)datatypes and (co)recursion for higher-order logic. Frontiers of Combining Systems: 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings. In: 11th International Symposium on Frontiers of Combining Systems, FroCoS 2017, 27-29 September 2017, Brasilia, Brazil. ISBN 9783319661667. ISSN 0302-9743 (doi:10.1007/978-3-319-66167-4_1)

Kunčar, Ondřej and Popescu, Andrei (2017) Comprehending Isabelle/HOL's consistency. Programming Languages and Systems. ESOP 2017.. In: ESOP 2017: 26th European Symposium on Programming (ESOP), 22-29 Apr 2017, Uppsala, Sweden. ISBN 9783662544334. ISSN 0302-9743 (doi:10.1007/978-3-662-54434-1_27)

Kunčar, Ondřej and Popescu, Andrei (2016) From types to sets by local type definitions in higher-order logic. Interactive Theorem Proving. ITP 2016. Lecture Notes in Computer Science, vol 9807. In: ITP 2016: 7th International Conference on Interactive Theorem Proving, 22-25 Aug 2016, Nancy, France. ISBN 9783319431437. ISSN 0302-9743 (doi:10.1007/978-3-319-43144-4_13)

Kunčar, Ondřej and Popescu, Andrei (2015) A consistent foundation for Isabelle/HOL. Interactive Theorem Proving. ITP 2015. In: 6th conference on Interactive Theorem Proving (ITP), 24-27 Aug 2015, Nanjing, China. ISBN 9783319221014. ISSN 0302-9743 (doi:10.1007/978-3-319-22102-1_16)

This list was generated on Tue Aug 4 05:04:10 2020 BST.