Menu

Andrea Asperti

4 published titles

Categories, types, and structures : an introduction to category theory for the working computer scientist

1 edition

  • ISBN: 0262011255
  • MIT
  • 1991
  • Details

The optimal implementation of functional programming languages

1 edition

  • ISBN: 0521621127
  • Cambridge University Press
  • 1998
  • Details

Mathematical knowledge management : Second International Conference, MKM 2003, Bertinoro, Italy, February 16-18, 2003 : proceedings

(Contributor)

1 edition

  • ISBN: 3540005684
  • Springer
  • 2003
  • Details

Mathematical knowledge management : third International Conference MKM 2004, Bialowieza, Poland, September 19-21, 2004, proceedings

(Contributor)

1 edition

  • ISBN: 3540230297
  • Springer
  • 2004
  • Details

obnb.uk is a Good Stuff website.