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

⌛ 🇫🇷 France pricing being fetched… Prices will appear once fetched — usually within a few minutes.

View in: 🇺🇸 USA

Book Details

Author(s)A. J Kfoury

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

ISBN / ASINB000722UTA

ISBN-13978B000722UT3

MarketplaceFrance 🇫🇷