https://www.ebooknetworking.net/books_detail-B000722UTA.html

Type reconstruction in finite rank fragments of the second-order [lambda]-calculus (BUCS Tech Report)

Name: Type reconstruction in finite rank fragments of the second-order [lambda]-calculus (BUCS Tech Report)
Author: A. J Kfoury
ISBN: 978B000722UT3

AuthorA. J Kfoury

PublisherBoston University, Graduate School of Arts and Sciences, Computer Science Dept

Shop on Amazon — choose your country

🇺🇸 USA 🇨🇦 Canada 🇬🇧 UK 🇩🇪 Germany 🇫🇷 France 🇮🇳 India

Buy New on Amazon 🇬🇧

Book Details

Author(s)A. J Kfoury

PublisherBoston University, Graduate School of Arts and Sciences, Computer Science Dept

ISBN / ASINB000722UTA

ISBN-13978B000722UT3

MarketplaceUnited Kingdom 🇬🇧