mito91

Robin Milner, Mads Tofte. Co-induction in relational semantics. Theoretical Computer Science, Note, 87(1):209-220, 1991.

Keyword

[ Coinduction ]

Contact

Robin Milner
Mads Tofte

BibTex Reference

@article{mito91,
   Author = {Milner, Robin and Tofte, Mads},
   Title = {Co-induction in relational semantics},
   Journal = {Theoretical Computer Science},
   Volume = {87},
   Number = {1},
   Pages = {209--220},
   Year = {1991}
}

EndNote Reference [help]

Get EndNote Reference (.ref)