![](https://www.pdfsearch.io/img/2faaefa3b0ee854ae8801cf93da736ff.jpg) 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, BerlinAdd to Reading ListSource URL: www.math.ias.eduDownload Document from Source Website File Size: 340,98 KBShare Document on Facebook
|