Back to Results
First PageMeta Content



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

Document Date: 2013-05-09 12:23:34


Open Document

File Size: 269,71 KB

Share Result on Facebook
UPDATE