×
  • Types for Proofs and Programs: International Workshop TYPES'93 Nijmegen, The Netherlands, May 24–28, 1993 Selected Papers

    Henk Barendregt

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