Obiettivo 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. Campo scientifico natural sciencescomputer and information sciences Programma(i) FP1-STIMULATION 1C - Plan (EEC) to stimulate European scientific and technical cooperation and interchange, 1985-1988 Argomento(i) Data not available Invito a presentare proposte Data not available Meccanismo di finanziamento CSC - Cost-sharing contracts Coordinatore UNIVERSITE DE PARIS VII DENIS DIDEROT Contributo UE Nessun dato Indirizzo Place Jussieu 2 PARIS Francia Mostra sulla mappa Costo totale Nessun dato Partecipanti (5) Classifica in ordine alfabetico Classifica per Contributo UE Espandi tutto Riduci tutto Centre National de la Recherche Scientifique (CNRS) Francia Contributo UE Nessun dato Indirizzo 45 rue d'Ulm 75005 Paris Mostra sulla mappa Costo totale Nessun dato STICHTING KATHOLIEKE UNIVERSITEIT Paesi Bassi Contributo UE Nessun dato Indirizzo 6500 GL NIJMEGEN Mostra sulla mappa Collegamenti Sito web Opens in new window Costo totale Nessun dato UNIVERSITA DEGLI STUDI DI PISA Italia Contributo UE Nessun dato Indirizzo Corso Italia 40 56125 PISA Mostra sulla mappa Costo totale Nessun dato UNIVERSITY OF TORINO Italia Contributo UE Nessun dato Indirizzo Corso Svizzera 185 10149 TORINO (TURIN) Mostra sulla mappa Costo totale Nessun dato Università degli Studi di Roma La Sapienza Italia Contributo UE Nessun dato Indirizzo Piazzale Aldo Moro 2 00185 Roma Mostra sulla mappa Costo totale Nessun dato
