Syntax for dependent type theories Nicola Gambino Leeds, February 20th, 2013 First-order theories vs dependent type theories (I)

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 List Source URL: www1.maths.leeds.ac.uk Download Document from Source Website File Size: 269,71 KB Share Document on Facebook