Showing 1 - 2 results of 2 for search 'Girard, Jean-Yves', query time: 0.01s Refine Results
  1. 1
    Typed Lambda Calculi and Applications 4th International Conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999, Proceedings /
    Published 1999
    Other Authors: “…Girard, Jean-Yves…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    Lecons de mathematiques d'aujourd'hui
    Other Authors: “…Girard, Jean-Yves…”
    Book
Search Tools: RSS Feed – Email Search