Title of article :
A Coinduction Principle for Recursive Data Types Based on Bisimulation
Author/Authors :
Marcelo P. Fiore، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 1996
Journal title :
Information and Computation
Journal title :
Information and Computation
