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), Malaga, Spain; 2006-07-31 - 2006-08-11; in: "Proceedings of the Eleventh ESSLLI Student Session", J. Huitink, S. Katrenko (ed.); (2006), 136 - 147.

Electronic version of the publication:

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