(2 resultados)

36,58€(IVA inc.)

Basic simple type theory
  • Hindley, J. Roger
  • 978-0-521-05422-5
  • 2008-02-28
66,65€(IVA inc.)

Lambda-calculus and combinators
  • Hindley, J. Roger
  • 978-0-521-89885-0
  • 2008-07-01