gordon95

Andrew Gordon. Bisimilarity as a Theory of Functional Programming. In 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, 1995.

Keyword

[ Coinduction ]

Contact

Andrew D. Gordon

BibTex Reference

@InProceedings{gordon95,
   Author = {Gordon, Andrew},
   Title = {Bisimilarity as a Theory of Functional Programming},
   BookTitle = {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},
   Year = {1995}
}

EndNote Reference [help]

Get EndNote Reference (.ref)