Talks and Poster Presentations (without Proceedings-Entry):
G. Reis:
"A framework for specifying and reasoning in sequent calculus systems";
Talk: UNILOG 2013 - Workshop on Compositional Meaning in Logic (GeTFun 1.0),
Rio de Janeiro;
2013-04-03
- 2013-04-04.