Menu

Gérard Huet

2 published titles

Logical frameworks

(Contributor)

1 edition

  • ISBN: 0521413001
  • Cambridge University Press
  • 1991
  • Details

Logical environments

(Contributor)

1 edition

  • ISBN: 0521433126
  • Cambridge University Press
  • 1993
  • Details

obnb.uk is a Good Stuff website.