Cel 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. Dziedzina nauki natural sciencescomputer and information sciences Program(-y) FP1-STIMULATION 1C - Plan (EEC) to stimulate European scientific and technical cooperation and interchange, 1985-1988 Temat(-y) Data not available Zaproszenie do składania wniosków Data not available System finansowania CSC - Cost-sharing contracts Koordynator UNIVERSITE DE PARIS VII DENIS DIDEROT Wkład UE Brak danych Adres Place Jussieu 2 PARIS Francja Zobacz na mapie Koszt całkowity Brak danych Uczestnicy (5) Sortuj alfabetycznie Sortuj według wkładu UE Rozwiń wszystko Zwiń wszystko Centre National de la Recherche Scientifique (CNRS) Francja Wkład UE Brak danych Adres 45 rue d'Ulm 75005 Paris Zobacz na mapie Koszt całkowity Brak danych STICHTING KATHOLIEKE UNIVERSITEIT Niderlandy Wkład UE Brak danych Adres 6500 GL NIJMEGEN Zobacz na mapie Linki Strona internetowa Opens in new window Koszt całkowity Brak danych UNIVERSITA DEGLI STUDI DI PISA Włochy Wkład UE Brak danych Adres Corso Italia 40 56125 PISA Zobacz na mapie Koszt całkowity Brak danych UNIVERSITY OF TORINO Włochy Wkład UE Brak danych Adres Corso Svizzera 185 10149 TORINO (TURIN) Zobacz na mapie Koszt całkowity Brak danych Università degli Studi di Roma La Sapienza Włochy Wkład UE Brak danych Adres Piazzale Aldo Moro 2 00185 Roma Zobacz na mapie Koszt całkowity Brak danych