Selected papers of the Meeting on the Mathematical Foundations of Programming Semantics (MFPS '92), Oxford, April 1992
By: guest editors: M.W. Mislove ... [et al.]. Part 2, Lambda calculus and domain theory.
Contributors: Mislove, Michael.
Series: Theoretical computer science -- vol.136 (1)
Publisher: Elsevier
Published: 1994
Place of publication: Amsterdam; Oxford
Language: eng