Higher order operational techniques in semantics / ed. Andrew D. Gordon, Andrew M. Pitts
Higher order operational techniques in semantics / ed. Andrew D. Gordon, Andrew M. Pitts
. - Cambridge : Cambridge University Press, cop. 1998
. - VII, 390 p. 24 cm
. - (Publications of the Newton Institute))
0-521-63168-8 (Encadernado)
519.6