First Page | Document Content | |
---|---|---|
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 WebsiteFile Size: 269,71 KBShare Document on Facebook |