×
  • Types for Proofs and Programs: International Workshop TYPES '94 Båstad, Sweden, June 6–10, 1994 Selected Papers

    René Ahn (auth.)

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