The book is currently out of stock
Semantics of a call-by-need lambda calculus with McCarthy's amb for program equivalence
Authors
Book variant
2008, paperbackBook purchase
The book is currently out of stock.
2008, paperbackWe have tens of thousands of books in stock.
2008, paperback