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

Author A. J Kfoury

Publisher Boston University, Graduate School of Arts and Sciences, Computer Science Dept

📄 Viewing lite version Full site ›

🌎 Shop on Amazon — choose country

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

Price not listed

🛒 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

Sales Rank99,999,999

MarketplaceUnited States 🇺🇸