The book is currently out of stock
Parameters
Book purchase
Extensions of system F by iteration and primitive recursion on monotone inductive types, Ralph Matthes
- Language
- Released
- 1999
We’ll email you as soon as we track it down.
Payment methods
No one has rated yet.