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 EU contribution No data Address Place Jussieu 2 PARIS France See on map Total cost No data Participants (5) Sort alphabetically Sort by EU Contribution Expand all Collapse all Centre National de la Recherche Scientifique (CNRS) France EU contribution No data Address 45 rue d'Ulm 75005 Paris See on map Total cost No data STICHTING KATHOLIEKE UNIVERSITEIT Netherlands EU contribution No data Address 6500 GL NIJMEGEN See on map Links Website Opens in new window Total cost No data UNIVERSITA DEGLI STUDI DI PISA Italy EU contribution No data Address Corso Italia 40 56125 PISA See on map Total cost No data UNIVERSITY OF TORINO Italy EU contribution No data Address Corso Svizzera 185 10149 TORINO (TURIN) See on map Total cost No data Università degli Studi di Roma La Sapienza Italy EU contribution No data Address Piazzale Aldo Moro 2 00185 Roma See on map Total cost No data
