Typed Lambda Calculi and Applications : 11th International Conference, TLCA 2013, Eindhoven, the Netherlands, June 26-28, 2013, Proceedings

ISBN
9783642389450
$72.00
Format Paperback
Details
  • 9.3" x 6.1" x 0.2"
  • Active Record
  • Individual Title
  • 1 vol.
  • 2013
  • xii, 251
  • Yes
  • 7941
  • QA75.5-76.95