Titolo: 
Towards a Framework for Structure and Meaning

Autori: 
Marino Miculan, Ivan Scagnetto

One of the main aims of the theory of computational models 
is to provide mathematical tools for reasoning on programs and 
programming languages.  Usually, this study involve different levels of 
abstraction. In particular, since programming languages are syntactic 
objects equipped with a computational semantics, a satisfactory 
framework (metamodel) should address both the syntactic (structure) and 
semantic (meaning) aspects, enlightening their interactions.
In this talk, we present an approach to these issues, based on abstract 
(categorical) notions of syntax and semantics. Starting from previous 
work by Fiore, Turi et al, we give an abstract account for typed syntax 
and semantics.  If time permits, we will show how this approach 
generalizes Lavwere algebraic theories.