Talks and Poster Presentations (with Proceedings-Entry):
M. Ortiz de la Fuente:
"A Fully Internalized Sequent Calculus for Hybrid Categorial Logics";
Talk: Student Session of the European Summer School in Logic, Language and Information (ESSLLI),
- 2006-08-11; in: "Proceedings of the Eleventh ESSLLI Student Session",
J. Huitink, S. Katrenko (ed.);
Electronic version of the publication:
Created from the Publication Database of the Vienna University of Technology.