Items where Author / Artist / Editor is "Blanchette, Jasmin"

See full list of headings
Export as [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Jump to: Article | Conference or Workshop Item
Number of items: 2.

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)

This list was generated on Mon Feb 6 06:02:44 2023 GMT.