on all orders of $59 or more
Domains and Lambda-Calculi
by Roberto M. Amadio , Pierre-Louis Curien
ISBN: 9780521062923
Copyright:
Paperback
Interactive Models of Computation and ...
by Curien, Pierre-Louis; Herbelin, Hugo; Krivine, Jean-louis; et al.
ISBN: 9782856292730
ISBN: 9780521622776
Hardcover