Talks and Poster Presentations (without Proceedings-Entry):
R. Ramanayake:
"Algebra and Coalgebra meet Proof Theory. Between Axioms and Structural Rules in the Display Calculus";
Poster: ALCOP VI, Delft University of Technology, Netherlands,
Delft;
2015-05-06
- 2015-05-08.