×
  • Types for Proofs and Programs: International Workshop, TYPES 2000 Durham, UK, December 8–12, 2000 Selected Papers

    Peter Aczel

Click on cover to enlarge.
Buy This Book
From Amazon.