Coinduction up-to in a fibrational setting release_b7mgfjhc5fgmreoiq6wz5ifaey

by Filippo Bonchi, Daniela Petrişan, Damien Pous, Jurriaan Rot

Published in Annual Conference for Computer Science Logic by ACM Press.

2014   p20:1-20:9

Archived Files and Locations

application/pdf  518.4 kB
file_suhorz3rpndgbitvsqusl76wyq
hal.archives-ouvertes.fr (repository)
web.archive.org (webarchive)
application/pdf  784.3 kB
file_frwy4y42mncztpvbgn2pf4xche
hal-ens-lyon.archives-ouvertes.fr (web)
web.archive.org (webarchive)
Read Archived PDF
Preserved and Accessible
Type  paper-conference
Stage   published
Year   2014
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: 4cc50f95-95f9-4400-a21c-9f959b364498
API URL: JSON