@drossbucket possibly relevant to your interestshttps://twitter.com/cdutilhnovaes/status/1146353117396684800?s=20 …
Show this thread
-
Yes that’s a keystone paper for me (and I think
@drossbucket also). I’m currently reading this by@cdutilhnovaes which is extremely interesting (although in a rather different way):http://dx.doi.org/10.1080/01445340.2011.555505 …
Yep, Thurston's paper is a big influence on me too! I had a quick glance at the logic paper when you mentioned it in an email, looks good and plan to read properly
-
-
Her book is awesome! Will send you notes when I finish reading. https://www.amazon.com/Formal-Languages-Catarina-Dutilh-Novaes-ebook/dp/B00A8ICMBO/ …
- 3 more replies
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.