fiore96

Marcelo P. Fiore. A Coinduction Principle for Recursive Data Types Based on Bisimulation. Information and Computation, Conference version: Proc.\ 8th Annual IEEE Symp.\ on Logic in Computer Science (LICS), 1993, pp.\ 110-119, 127:186-198, 1996.

Keywords

[ Rectype ] [ Coinduction ]

Contact

M.P. Fiore

BibTex Reference

@article{fiore96,
   Author = {Fiore, Marcelo P.},
   Title = {A Coinduction Principle for Recursive Data Types Based on Bisimulation},
   Journal = {Information and Computation},
   Volume = {127},
   Pages = {186--198},
   Year = {1996}
}

EndNote Reference [help]

Get EndNote Reference (.ref)