Typed Lambda Calculi and Applications : International Conference on Typed Lambda Calculi and Applications, TLCA '93, March 16-18, 1993, Utrecht, The Netherlands. Proceedings

ISBN
9783540565178
$119.00
Format Paperback
Details
  • Active Record
  • Individual Title
  • 1 vol.
  • 1993
  • ix, 443
  • Yes
  • 664
  • QA75.5-76.95