Electronic Notes in Theoretical Computer Science, Volume 1

Volume 1, 1995

MFPS XI, Mathematical Foundations of Programming Semantics, Eleventh Annual Conference
Tulane University, New Orleans, LA, March 29 - April 1, 1995