Timeline for Intuitionistic type theory in linguistics
Current License: CC BY-SA 4.0
16 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Dec 20, 2020 at 11:43 | comment | added | phipsgabler | Awesome, thanks. | |
| Dec 20, 2020 at 10:28 | comment | added | Fred | @phipsgabler Please take a look at this nlab article dependent type theoretic methods in natural language semantics. You will find relevent info there. | |
| Dec 20, 2020 at 9:27 | comment | added | phipsgabler | HOTT in linguistics?? Please tell me more. | |
| Dec 17, 2020 at 10:30 | vote | accept | JRC | ||
| Dec 17, 2020 at 10:30 | comment | added | JRC | @Fred Thanks. This is so helpful, including the after-thought. | |
| Dec 17, 2020 at 0:01 | comment | added | Fred | @curiousdannii It appears that there is already a good answer there. Lemontree's answer is much more detailed than mine. :-) | |
| Dec 16, 2020 at 23:01 | comment | added | curiousdannii♦ | You might be interested in answering this question: What explanatory advantages does so-called “type theory” have? | |
| Dec 16, 2020 at 21:27 | comment | added | Emini Jask | I had a very similar experience. I tried to talk to some linguists about type theory and category theory, but they kept asking me for example words and example sentences. Finally, I gave up... | |
| Dec 16, 2020 at 21:19 | history | edited | Fred | CC BY-SA 4.0 |
added 4 characters in body
|
| Dec 16, 2020 at 20:05 | comment | added | Kelly | This is really a good answer! Thanks a lot! | |
| Dec 16, 2020 at 19:53 | history | edited | Fred | CC BY-SA 4.0 |
added 394 characters in body
|
| Dec 16, 2020 at 19:46 | history | edited | Fred | CC BY-SA 4.0 |
added 394 characters in body
|
| Dec 16, 2020 at 19:34 | history | edited | Fred | CC BY-SA 4.0 |
added 227 characters in body
|
| Dec 16, 2020 at 19:29 | history | edited | Fred | CC BY-SA 4.0 |
added 227 characters in body
|
| Dec 16, 2020 at 19:21 | history | edited | Fred | CC BY-SA 4.0 |
added 227 characters in body
|
| Dec 16, 2020 at 19:12 | history | answered | Fred | CC BY-SA 4.0 |