Նորմալ դիտում MARC դիտում ISBD Դիտում

Higher order operational techniques in semantics / edited by Andrew D. Gordon, Andrew M. Pitts. - Cambridge, N.Y. : Cambridge University Press, 1998. - vii, 390 p. - Publications of the Newton Institute ; No. 12. .

Includes bibliographical references. Contents : Operational equivalences for untyped and polymorhic object calculi--Relational reasoning about contexts.

ISBN: 0521631688

Subjects--Topical Terms:
Electronic data processing.
Programming languages (Electronic computers).
Logic, symbolic and mathematical.