Indexed Induction and Coinduction, Fibrationally

Algebra and Coalgebra in Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-642-22944-2_13 ◽

2011 ◽

pp. 176-191 ◽

Cited By ~ 3

Author(s):

Clément Fumex ◽

Neil Ghani ◽

Patricia Johann