A Coinduction Principle for Recursive Data Types Based on Bisimulation

• 1 June 1996
• journal article
• Published by Elsevier in Information and Computation
• Vol. 127  (2) , 186-198
• https://doi.org/10.1006/inco.1996.0058

Abstract

Keywords

• RECURSIVELY
• DATA TYPES
• BISIMULATION
• MODEL
• NOTION
• RESP
• CANONICAL
• ABRAMSKY
• THEOREMS
• COMPUT.105

Funding Information

• Fundación Antorchas (ARG 2281 14 6)
• British Council (ARG 2281 14 6)