%0 Conference Proceedings
%F gordon95
%A Gordon, Andrew
%T Bisimilarity as a Theory of Functional Programming
%B Proceedings of the Eleventh Conference on the Mathematical Foundations of Programming Semantics (MFPS), New Orleans, March 29 to April 1, 1995, Elsevier Electronic Notes in Theoretical Computer Science, volume 1
%D 1995
%K coinduction