Toggle navigation
PDFSEARCH.IO
Document Search Engine - browse more than 18 million documents
Sign up
Sign in
Back to Results
First Page
Meta Content
View Document Preview and Link
WEAK EQUIVALENCES BETWEEN CATEGORIES OF MODELS OF TYPE THEORY SIMON CHO, CORY KNAPP, CLIVE NEWSTEAD, LIANG ZE WONG It is conjectured that intensional type theory is the internal language of higher categories, in a manner
Add to Reading List
Document Date: 2018-03-28 14:04:14
Open Document
File Size: 169,14 KB
Share Result on Facebook