Showing 1 - 2 results of 2 for search 'Curien, Pierre-Louis', query time: 0.01s Refine Results
  1. 1
    Typed Lambda Calculi and Applications 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings /
    Published 2009
    Other Authors: “…Curien, Pierre-Louis…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    Domains and lambda-calculi
    by Amadio, Roberto M.
    Published 1998
    Other Authors: “…Curien, Pierre-Louis…”
    Book
Search Tools: RSS Feed – Email Search