Publications


Publication list

  1. English (also dvi)
  2. French (also dvi)
  3. Italian (also dvi)
  4. Spanish (also dvi)

Books

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

    • Course Notes

  • Introduction to Linear Logic
    • Roberto Di Cosmo
    LIENS
    Ecole Normale Supérieure
    45, rue d'Ulm
    75005 PARIS
    France
    E-Mail:roberto@dicosmo.org