×
  • Types for Proofs and Programs: International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers

    Davide Ancona Giovanni Lagorio Elena Zucca (auth.) Stefano Berardi Ferruccio Damiani Ugo de’Liguoro (eds.)

Click on cover to enlarge.
7 - 8Hours to read