Back to Results
First PageMeta Content



Custom definitional equalities in Agda Guillaume Brunerie Université de Nice/Institute for Advanced Study July 14, 2015 ICMS 2016, Berlin
Add to Reading List

Document Date: 2016-07-30 01:41:10


Open Document

File Size: 340,98 KB

Share Result on Facebook
UPDATE