×
  • Types for Proofs and Programs: International Workshop TYPES’96 Aussois, France, December 15–19, 1996 Selected Papers

    Eduardo Giménez

Click on cover to enlarge.
Buy This Book
From Amazon.
8 - 9Hours to read