Domains and Lambda-Calculi
Publisher: Cambridge University Press
Published: 2008
Language: eng
Number of pages: 504
ISBN-13: 9780521062923
Subjects: Programming languages (electronic computers); Logic, symbolic and mathematical