Indexed induction and coinduction, fibrationally.

Neil Ghani, Patricia Johann, Clement Fumex

Research output: Chapter in Book/Report/Conference proceedingConference contribution book

11 Citations (Scopus)
129 Downloads (Pure)

Fingerprint Dive into the research topics of 'Indexed induction and coinduction, fibrationally.'. Together they form a unique fingerprint.

Engineering & Materials Science