Giuseppe Longo

Giuseppe Longo

Giuseppe Longo

CNRS & Ecole Normale Supérieure, Paris

external web page

The main research area Giuseppe Longo has been interested in concerns syntactic and semantic properties of the “logical base” of functional languages: Combinatory Logic, Lambda-calculus and their extensions. However, he always investigated these topics in its broadest setting which relates them to Recursion Theory, Proof Theory and Category Theory. He also worked at the applications of functional approaches to Object-Oriented programming, Philosophy of Mathematics and Cognitive Sciences.