Tutorial at TABLEAUX 2015

On Sept. 20, Andrei will give a half-day tutorial on inductive and coinductive datatypes at the TABLEAUX 2015 conference in Wroclaw.

This entry was posted in Uncategorized. Bookmark the permalink.

Leave a Reply

Your email address will not be published. Required fields are marked *

Note: If you are replying to another commenter, click the "Reply to {NAME} ↵" button under their comment!