The book is currently out of stock
Extensions of system F by iteration and primitive recursion on monotone inductive types
Authors
Book variant
1999Book purchase
The book is currently out of stock.
1999We have over a million books in stock
1999We have over a million books in stock
1999