Showing 1 - 2 results of 2 for search 'Coppo, Mario', query time: 0.02s Refine Results
  1. 1
    Types for Proofs and Programs International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers /
    Published 2004
    Other Authors: “…Coppo, Mario…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    Theoretical Computer Science 9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005. Proceedings /
    Published 2005
    Other Authors: “…Coppo, Mario…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search