×
  • Types for Proofs and Programs: International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers

    Robin Adams (auth.) Stefano Berardi Mario Coppo Ferruccio Damiani (eds.)

Click on cover to enlarge.
9 - 10Hours to read