Research

Curriculum vitae

Publications

Books

  • Isomorphisms of Types: from Lambda Calculus to Information Retrieval and Language Design. Contents and Overview

    • Research Themes

    Type theory: Isomorphisms of Types

    Rewriting: Confluence, Normalization and Extensionality

    Linear Logic: Spreading the word

    Parallelism: Parallel functional languages