ISBN 0521062926 books & textbook
Domains and Lambda-Calculi (Cambridge Tracts in Theoretical Computer Science, Series Number 46)
Amadio, Roberto M. Curien, Pierre-Louis
Cambridge University Press /2008-05-15 Paperback / 504 Pages
isbn-10: 0521062926 / isbn-13: 9780521062923
