×
  • Types for Proofs and Programs: International Workshop, TYPES’99 Lökeberg, Sweden, June 12–16, 1999 Selected Papers

    Andreas Abel (auth.)

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