Fibrational Induction Meets Effects.

Robert Atkey, Neil Ghani, Bart Jacobs, Patricia Johann

Browse the full FOSSACS paper archive.