[Back]


Talks and Poster Presentations (without Proceedings-Entry):
B. Lellmann:
"The linear nested sequent framework";
Talk: TICAMORE Kick-off Meeting 2017, Wien; 2017-03-04.

Created from the Publication Database of the Vienna University of Technology.