[Matryoshka-devel] Paper draft: Superposition for datatypes and codatatypes

Blanchette, J.C. j.c.blanchette at vu.nl
Sun Feb 4 17:20:39 CET 2018


Dear colleagues,

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
	http://matryoshka.gforge.inria.fr/pubs/supdata_paper.pdf

Although the (extended) deadline is in 15 hours or so, feedback is still welcome and useful.

Cheers,

Jasmin



More information about the matryoshka-devel mailing list