Timeline for Intuitionistic type theory in linguistics
Current License: CC BY-SA 4.0
11 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Dec 17, 2020 at 10:30 | vote | accept | JRC | ||
| Dec 16, 2020 at 21:24 | comment | added | Natalie Clarius | @user6726 Not intuitionistic type theory though; that only dates back to 1972 when computers had already been around for a while. | |
| Dec 16, 2020 at 19:55 | comment | added | Natalie Clarius | @jk - Reinstate Monica No, he was not. The mentioned book is about natural language, not computer languages. | |
| Dec 16, 2020 at 19:46 | comment | added | user6726 | Type theory predates computers by a couple of generations. | |
| Dec 16, 2020 at 19:12 | answer | added | Fred | timeline score: 6 | |
| Dec 16, 2020 at 18:09 | comment | added | Natalie Clarius | @JRC I think you need to specify more precisely what you're after. Are you looking for an assessment of how fruitful type theory is for linguistic applications? A list of recent papers discussing linguistic phenomena with methods of type theory? A modern textbook that covers the basics of type-logical grammar/semantics, or advanced topics? | |
| Dec 16, 2020 at 18:04 | comment | added | Natalie Clarius | Not everything that has the word "formal" in it is automatically off-topic for this site; neither is it just because it originates from/also has applications in other fields. The question explicitly asks about the use of this theory in linguistics; I see no problem having it here. Type-theoretic natural language semantics is a thing. | |
| Dec 16, 2020 at 17:08 | review | Close votes | |||
| Dec 24, 2020 at 1:24 | |||||
| Dec 16, 2020 at 16:49 | comment | added | Sir Cornflakes | I’m voting to close this question because this is a question on a concept from computer languages. | |
| Dec 16, 2020 at 16:49 | comment | added | Sir Cornflakes | Well, Ranta was writing about computer languages (where typing is obviously an important concept) but computer languages aren't studied by linguists. | |
| Dec 16, 2020 at 16:29 | history | asked | JRC | CC BY-SA 4.0 |