Items where Author / Artist / Editor is "Blanchette, Jasmin"
![]() | See full list of headings |
Article
Blanchette, Jasmin, Böhme, Sascha, Popescu, Andrei and Smallbone, Nicholas (2017) Encoding monomorphic and polymorphic types. Logical Methods in Computer Science, 12 (4) . ISSN 1860-5974 [Article] (doi:10.2168/LMCS-12(4:13)2016)
Conference or Workshop Item
Traytel, Dmitriy, Popescu, Andrei and Blanchette, Jasmin (2012) Foundational, compositional (co)datatypes for higher-order logic: category theory applied to theorem proving. 2012 27th Annual IEEE Symposium on Logic in Computer Science (LICS). In: 27th Annual IEEE Symposium on Logic in Computer Science (LICS), 25-28 June 2012, Dubrovnik, Croatia. ISBN 9781467322638. ISSN 1043-6871 [Conference or Workshop Item] (doi:10.1109/LICS.2012.75)