DMCA

Coinduction Up-To in a Fibrational Setting ∗

by Damien Pous , Jurriaan Rot