In Store Pick Up Service is currently unavailable. We apologize for the inconvenience.
141- 144 of 144 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Advanced Functional Programming: 4th International School, AFP 2002, Oxford, UK, August 19-24, 2002, Revised Lectures, Author: Johan Jeuring
QUICK ADD
Advanced Functional…
by Johan Jeuring (Editor), Simon Peyton Jones (Editor)
#2638 in Series
Paperback $54.99
Title: Adapting Proofs-as-Programs: The Curry--Howard Protocol, Author: Iman Poernomo
QUICK ADD
Adapting Proofs-as-Programs:…
by Iman Poernomo, John N. Crossley, Martin Wirsing
Explore Series
Paperback $169.99
Title: Adapting Proofs-as-Programs: The Curry--Howard Protocol, Author: Iman Poernomo
QUICK ADD
Adapting Proofs-as-Programs:…
by Iman Poernomo, John N. Crossley, Martin Wirsing
Explore Series
Hardcover $169.99
Title: A Tight, Practical Integration of Relations and Functions, Author: Harold Boley
QUICK ADD
A Tight, Practical Integration…
by Harold Boley
#1712 in Series
Paperback $54.99

Pagination Links