Bookbot
The book is currently out of stock

Semantics of a call-by-need lambda calculus with McCarthy's amb for program equivalence

Parameters

Book purchase

Semantics of a call-by-need lambda calculus with McCarthy's amb for program equivalence, David Sabel

Language
Released
2008
product-detail.submit-box.info.binding
(Paperback)
We’ll notify you via email once we track it down.

Payment methods