×
  • Types for Proofs and Programs: International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers

    Robin Adams (auth.)

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