European Commission logo
English English
CORDIS - EU research results
CORDIS
Content archived on 2024-04-15

LAMDA-CALCUL TYPE

Objective


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.

Topic(s)

Data not available

Call for proposal

Data not available

Coordinator

UNIVERSITE DE PARIS VII DENIS DIDEROT
EU contribution
No data
Address
Place Jussieu 2
PARIS
France

See on map

Total cost
No data

Participants (5)