CNRS & Ecole Normale Supérieure, Paris
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.
Giuseppe Longo has 1 talk in our database: