Custom definitional equalities in Agda Guillaume Brunerie Université de Nice Institute for Advanced Study July 14, 2015 ICMS 2016, Berlin - Bead breaker - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2016-07-30 01:41:10		Custom definitional equalities in Agda Guillaume Brunerie Université de Nice/Institute for Advanced Study July 14, 2015 ICMS 2016, Berlin Add to Reading List Source URL: www.math.ias.edu Download Document from Source Website File Size: 340,98 KB Share Document on Facebook