#HoTT : dependent type theoretic methods in natural langage semantics

https://ncatlab.org/nlab/show/dependent%20type%20theoretic%20methods%20in%20natural%20language%20semantics

https://nforum.ncatlab.org/discussion/6794/dependent-type-theoretic-methods-in-natural-language-semantics/

https://hal.archives-ouvertes.fr/hal-01628150/document

Advertisements
This entry was posted in homotopy type theory. Bookmark the permalink.