Higher order operational techniques in semantics / edited by Andrew D. Gordon, Andrew M. Pitts.
Նյութի տեսակ։ ՏեքստՄատենաշար։ Publications of the Newton Institute ; No. 12Հրատարակման մանրամասներ։ Cambridge, N.Y. : Cambridge University Press, 1998.Նկարագրություն։ vii, 390 pISBN:- 0521631688
Նյութի տեսակ | Ընթացիկ գրադարան | Հավաքածու | Դարակային համար | Վիճակ | Նշումներ | Վերադարձի ամսաթիվ | Շտրիխ կոդ | |
---|---|---|---|---|---|---|---|---|
Book | American University Library of Armenia | Ընթերցասրահ | 004.0151 HIG (Դիտման դարակ(Բացվում է ներքևում)) | Հասանելի | 76 | AUA-PL-0013664 |
Includes bibliographical references.
Contents : Operational equivalences for untyped and polymorhic object calculi--Relational reasoning about contexts.
Այս վերնագրի համար չկան մեկնաբանություններ։
Մուտք գործիր քո հաշիվ ուղարկել մեկնաբանություն։