Պատկեր Amazon.com -ից

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:

Խորագրեր։

Ցուցիչներ այս գրադարանից: Չկան ցուցիչներ այս գրադարանի այս վերնագրի համար. Մուտք գործիր ցուցիչներ ավելացնելու համար.

Պահումներ
Նյութի տեսակ	Ընթացիկ գրադարան	Հավաքածու	Դարակային համար	Վիճակ	Նշումներ	Վերադարձի ամսաթիվ	Շտրիխ կոդ
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.

Այս վերնագրի համար չկան մեկնաբանություններ։

ուղարկել մեկնաբանություն։