中图分类法:	TP274 版次：
题名:	Higher order operational techniques in semantics / / ,
载体形态:	vii, 390 pages : illustrations ; 24 cm.
附注:	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. _ Preface.
附注:	Includes index.
主题词:	Electronic data processing.
主题词:	Programming languages (Electronic computers) Semantics.
主题词:	Logic, Symbolic and mathematical.
主要责任者:	Gordon, Andrew D.
主要责任者:	Pitts, A. M.
索书号:	1