Menu

Dusko Pavlović

1 published title

Guarded induction on final coalgebras

1 edition

  • Computer Science, University of Sussex
  • 1998
  • Details

obnb.uk is a Good Stuff website.