Ziel
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.
Programming semantics:
general categoric semantics and use of categorical combinators for programmation;
concrete denotational semantics;
dynamic semantics of programs.
Operationality:
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.
Wissenschaftliches Gebiet
Programm/Programme
Thema/Themen
Data not availableAufforderung zur Vorschlagseinreichung
Data not availableFinanzierungsplan
CSC - Cost-sharing contractsKoordinator
PARIS
Frankreich