Timeline for Denotational semantics of System $F_\omega$ with recursive types and general recursion
Current License: CC BY-SA 3.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 3, 2016 at 19:40 | comment | added | Martin Berger | I have not thought about this problem much, but I expect that the denotational model in Genericity and the Pi-Calculus should be extendable to F$\omega$. | |
| Jun 29, 2016 at 22:44 | history | tweeted | twitter.com/StackCSTheory/status/748286137412771840 | ||
| Jun 29, 2016 at 12:48 | history | asked | Yufei Cai | CC BY-SA 3.0 |