×
  • Types for Proofs and Programs: International Workshop, TYPES’ 98 Kloster Irsee, Germany, March 27–31, 1998 Selected Papers

    Peter Aczel (auth.)

Click on cover to enlarge.
Buy This Book
From Amazon.
4 - 5Hours to read