Home › Books › Type reconstruction in finite rank fragments of the second-…
Type reconstruction in finite rank fragments of the second-order [lambda]-calculus (BUCS Tech Report) Buy on Amazon

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

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

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
MarketplaceFrance  🇫🇷
Donate to EbookNetworking
Prev
Next