An original and challenging approach has been adopted to essential questions of computer science such as modularity, proofs of programs and operationality.
Studies have been conducted in the following areas:
Systems of typed lambda calculus:
study of the various systems and linking with object oriented programming, subtyping, etc;
introduction of new high order languages with improved flexibility;
study of linear logic.
general categoric semantics and use of categorical combinators for programmation;
concrete denotational semantics;
dynamic semantics of programs.
study of the structure of pure lambda calculus;
fine structure of execution;
utilization of the proof nets of linear logic for optimized sharing in execution.
Funding SchemeCSC - Cost-sharing contracts
10149 Torino (Turin)