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

ISBN
9783540580850
$109.00
Format Paperback
Details
  • Active Record
  • Individual Title
  • 1 vol.
  • 1994
  • ix, 395
  • Yes
  • 806
  • QA75.5-76.95