×
  • Types for Proofs and Programs: International Workshop, TYPES '95 Torino, Italy, June 5–8, 1995 Selected Papers

    Gilles Barthe (auth.)

Click on cover to enlarge.
Buy This Book
From Amazon.
6 - 7Hours to read