
Lambda Calculus with Types
Henk Barendregt, Wil Dekkers, Richard Statman
₹4,511

Free delivery. Nothing extra to pay at checkout.
Amid contemporary debates over large dam development and declines in fisheries, this book offers a case study of a river basin where development decisions did not ultimately dam the river, but rather conserved its salmon. Although the case is local, the implications of this environmental history of the Fraser River (British Columbia), and the attempts to dam it for power and defend it for salmon, are global.
Description supplied by the publisher.