The book is currently out of stock
Book purchase
Induction on non-freely generated data types, Claus Sengler
- Language
- Released
- 1997
We’ll email you as soon as we track it down.
Payment methods
No one has rated yet.
Induction on non-freely generated data types, Claus Sengler
No one has rated yet.