Gilles Kahn

• Functional Programming Languages and Computer Architecture
• Semantics of data types
• A preliminary theory for parallel programs
• From semantics to computer science
• From semantics to computer science
• La sécurité sur les chantiers du bâtiment