Պատկեր Amazon.com -ից
Basic type theory / by J. Roger Hindley.
Նյութի տեսակ։
ՏեքստՄատենաշար։ Combridge Tracts in Theoretical Computer Science ; No. 42Հրատարակման մանրամասներ։ Cambridge, N.Y. : Cambridge University Press, 1997.Նկարագրություն։ xi, 186 pISBN: - 0521465184
| Նյութի տեսակ | Ընթացիկ գրադարան | Հավաքածու | Դարակային համար | Վիճակ | Նշումներ | Վերադարձի ամսաթիվ | Շտրիխ կոդ | |
|---|---|---|---|---|---|---|---|---|
Book
|
American University Library of Armenia | Ընթերցասրահ | 005.13 HIN (Դիտման դարակ(Բացվում է ներքևում)) | Հասանելի | 76 | AUA-PL-0013665 |
Includes bibliographical references and index.
Contents : Assigning types to terms--The principal -type algorithm--Type assignment with equality.
Այս վերնագրի համար չկան մեկնաբանություններ։
Մուտք գործիր քո հաշիվ ուղարկել մեկնաբանություն։