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. Fields of science natural sciencescomputer and information sciences Programme(s) FP1-STIMULATION 1C - Plan (EEC) to stimulate European scientific and technical cooperation and interchange, 1985-1988 Topic(s) Data not available Call for proposal Data not available Funding Scheme CSC - Cost-sharing contracts Coordinator UNIVERSITE DE PARIS VII DENIS DIDEROT Address Place jussieu 2 Paris France See on map EU contribution € 0,00 Participants (5) Sort alphabetically Sort by EU Contribution Expand all Collapse all Centre National de la Recherche Scientifique (CNRS) France EU contribution € 0,00 Address 45 rue d'ulm 75005 Paris See on map STICHTING KATHOLIEKE UNIVERSITEIT Netherlands EU contribution € 0,00 Address 6500 GL Nijmegen See on map Links Website Opens in new window UNIVERSITA DEGLI STUDI DI PISA Italy EU contribution € 0,00 Address Corso italia 40 56125 Pisa See on map UNIVERSITY OF TORINO Italy EU contribution € 0,00 Address Corso svizzera 185 10149 Torino (turin) See on map Università degli Studi di Roma La Sapienza Italy EU contribution € 0,00 Address Piazzale aldo moro 2 00185 Roma See on map
