Higher order operational techniques in semantics : HOOTS / ed. by Andrew D. Gordon and Andrew M. Pitts

Gordon, Andrew D. *1964-* [Hrsg.] ; Pitts, Andrew M.

Workshop on Higher Order Operational Techniques in Semantics ; (Cambridge) : 1995.10.

HOOTS Workshop ; (Cambridge) : 1995.10.

1. publ.

Englisch

Cambridge [u.a.] : Cambridge Univ. Pr., 1998

VII, 390 S.

Articles which develop many of the themes introduced at the workshop on Higher Order Operational Techniques in Semantics (HOOTS) that took place in Oct. 1995 as part of a six-month programme on semantics of computation at the Isaac Newton Institute for Mathematical Sciences, Cambridge, UK

: £40.00 : CIP entry (Jan.)

0-521-63168-8 hardback

*Höhere Programmiersprache / Operationale Semantik / Kongress

*Electronic data processing ; Programming languages (Electronic computers) -- Semantics ; Logic, Symbolic and mathematical

*Programming languages (Electronic computers) ; Programming languages (Electronic computers) / Semantics

Klassifikation der Library of Congress: QA76

Dewey Dezimal-Klassifikation: 004.015113 ; 004/.01/5113

Regensburger Verbund-Klassifikation: ST 140: SQ-SU Informatik / ST Monografien / Semantik von Programmiersprachen

Mathematics Subject Classification: *00B25

Mathematics Subject Classification: 68-06

Mathematics Subject Classification: 68Q55

https://zbmath.org/?q=an:0942.00062 [Zentralblatt MATH]

Potsdamer Straße

BIBTEX - ENDNOTE - RIS