Showing 1 - 2 results of 2 for search 'Berardi, Stefano', query time: 0.01s 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: “…Berardi, Stefano…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    Types for Proofs and Programs International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers /
    Published 2009
    Other Authors: “…Berardi, Stefano…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search