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)

Projects

Filter
Finished
Finished