[Matryoshka-devel] Paper draft: Superposition for datatypes and codatatypes
j.c.blanchette at vu.nl
Sun Feb 4 17:20:39 CET 2018
I'd like to share the following draft, which will be submitted to IJCAR:
Superposition for datatypes and codatatypes
Jasmin Christian Blanchette, Nicolas Peltier, and Simon Robillard
Although the (extended) deadline is in 15 hours or so, feedback is still welcome and useful.
More information about the matryoshka-devel