Higher order operational techniques in semantics

Corporate Authors: Isaac Newton Institute for Mathematical Sciences.
Group Author: Gordon Andrew D.; Pitts A. M.; (Andrew M.)
Published: Cambridge University Press,
Publication Dates: 1998.
Call Number: TP301.2/H638/