Theoretical Computer Science, Volume 136

Volume 136, Number 1, 19 December 1994

Selected Papers of the Meeting on the Mathematical Foundations of Programming Semantics (MFPS'92), Oxford, April 1992
Part II: Lambda Calculus and Domain Theory

Volume 136, Number 2, 29 December 1994