Items where Author / Artist / Editor is "Traytel, Dmitriy"

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

Article

Blanchette, Jasmin Christian, Popescu, Andrei and Traytel, Dmitriy (2017) Soundness and completeness proofs by coinductive methods. Journal of Automated Reasoning, 58 (1). pp. 149-179. ISSN 0168-7433 (doi:10.1007/s10817-016-9391-3)

Blanchette, Jasmin Christian, Popescu, Andrei and Traytel, Dmitriy (2017) Soundness and completeness proofs by coinductive methods. Journal of Automated Reasoning, 58 (1). pp. 149-179. ISSN 0168-7433 (doi:10.1007/s10817-016-9391-3)

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. In: 11th International Symposium on Frontiers of Combining Systems, FroCoS 2017, 27-29 September 2017, Brasilia, Brazil. (doi:10.1007/978-3-319-66167-4_1)

Blanchette, Jasmin Christian, Meier, Fabian, Popescu, Andrei and Traytel, Dmitriy (2017) Foundational nonuniform (co)datatypes for higher-order logic. In: 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 20-23 Jun 2017, Reykjavik, Iceland. (doi:10.1109/LICS.2017.8005071)

Blanchette, Jasmin Christian, Bouzy, Aymeric, Lochbihler, Andreas, Popescu, Andrei and Traytel, Dmitriy (2017) Friends with benefits: implementing corecursion in foundational proof assistants. In: 26th European Symposium on Programming, ESOP 2017, 22-29 Apr 2017, Uppsala, Sweden. (doi:10.1007/978-3-662-54434-1_5)

Blanchette, Jasmin, Popescu, Andrei and Traytel, Dmitriy (2015) Foundational extensible corecursion: a proof assistant perspective. In: 20th ACM SIGPLAN International Conference on Functional Programming (ICFP), 31 Aug - 02 Sept 2015, Vancouver, Canada. (doi:10.1145/2784731.2784732)

Blanchette, Jasmin Christian, Popescu, Andrei and Traytel, Dmitriy (2015) Witnessing (co)datatypes. In: 24th European Symposium on Programming (ESOP 2015), 11-18 Apr 2015, London, UK.

Blanchette, Jasmin Christian, Hölzl, Johannes, Lochbihler, Andreas, Panny, Lorenz, Popescu, Andrei and Traytel, Dmitriy (2014) Truly modular (co)datatypes for Isabelle/HOL. In: 5th International Conference on Interactive Theorem Proving (ITP), 14-17 Jul 2014, Vienna, Austria.

Blanchette, Jasmin Christian, Popescu, Andrei and Traytel, Dmitriy (2014) Unified classical logic completeness: a coinductive pearl. In: 7th International Joint Conference on Automated Reasoning (IJCAR), 19-22 Jul 2014, Vienna, Austria.

Traytel, Dmitriy, Popescu, Andrei and Blanchette, Jasmin (2012) Foundational, compositional (co)datatypes for higher-order logic: category theory applied to theorem proving. In: 27th Annual IEEE Symposium on Logic in Computer Science (LICS), 25-28 June 2012, Dubrovnik, Croatia. (doi:10.1109/LICS.2012.75)

This list was generated on Tue Oct 15 05:02:33 2019 BST.