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