A Coinduction Principle for Recursive Data Types Based on Bisimulation

A Coinduction Principle for Recursive Data Types Based on Bisimulation Marcelo P. Fiore 110-119 conf/lics/LICS8 1993 LICS db/conf/lics/lics93.html#Fiore93