![](https://www.pdfsearch.io/img/508ecdfee974f4996632a324c10a2f3a.jpg) Date: 2013-05-09 12:23:34
| | Syntax for dependent type theories Nicola Gambino Leeds, February 20th, 2013 First-order theories vs dependent type theories (I)Add to Reading ListSource URL: www1.maths.leeds.ac.ukDownload Document from Source Website File Size: 269,71 KBShare Document on Facebook
|