I think the idea of the Zulip channel "our work" in the categories zulip is very nice, but find kind of difficult to write my own version. Here's an attempt.
- I intend to continue thinking and writing about "Dialectica constructions and Polynomials" -- the "and" is distributive, only dialectica and only polynomials are included. There's the work with Davide Trotta and Matteo Spadetto on the Godel Fibration (https://arxiv.org/abs/2104.14021), which has just appeared in MFCS and its sequel, which we're working on now.
- There is the work on networked mathematics with Brendan and others that need to be written about. But at least there is the blog post (https://topos.site/blog/2021/07/introducing-the-mathfoldr-project/)
- There is the work with Katerina Kalouli on semantics of natural languages, available from her resources page (https://cis.lmu.de/~kalouli/resources.html) that needs to be explored. The beautiful GKR framework (for graphical knowledge representation) has been put in place (go and play with it, if interested), now is time to use it!
- There is the work with Luiz Carlos and Elaine in ecumenical systems (these have in the same framework both constructive and classical logic), after "A proof theoretical view of ecumenical systems" and "An Ecumenical Notion of Entailment" (https://vcvpaiva.github.io/includes/pubs/2019-ecumenical.pdf). We're working on the role of negation in this framework.
- There are several semi-written papers about lexical resources and semantics for Portuguese with Alexandre Rademaker that need to be finished. The Portuguese wordnet project is up at http://openwordnet-pt.org, but I need to think about next steps.
So there are too many loose ends and what I call facetiously "ValeriaReprints" that need to be finished. Collaboration in all these projects is very welcome!
No comments:
Post a Comment