Types for Proofs and Programs : International Workshop, TYPES'99, lökeberg, Sweden, June 1999, Selected Papers

ISBN
9783540415176
$99.00
Author TYPES '99 Staff
Format Paperback
Details
  • Active Record
  • Individual Title
  • Books
  • 1 vol.
  • 2000
  • x, 202
  • Yes
  • 1956
  • Print
  • QA75.5-76.95