First Page | Document Content | |
---|---|---|
![]() Date: 2016-02-11 10:23:52Software engineering Computer programming Declarative programming Recursion Theoretical computer science Functional programming Category theory Subroutines Corecursion Fold Coinduction Tail call | Add to Reading List |
![]() | Coinduction Up-To in a Fibrational Setting Jurriaan Rot † Filippo Bonchi Daniela Petris¸an Damien Pous ∗DocID: 1uIga - View Document |
![]() | 1. Bisimulation everywhere 2. The power of coinduction 3. More bisimulations, stillDocID: 1qXxc - View Document |
![]() | Foundational Extensible Corecursion A Proof Assistant Perspective Jasmin Christian Blanchette Andrei PopescuDocID: 1qD8k - View Document |
![]() | Some remarks on Bisimulation and Coinduction Davide Sangiorgi University of Bologna Email: http://www.cs.unibo.it/˜ sangio/DocID: 1qoEe - View Document |
![]() | Report on CODATA Activities, Second Quarter of 2003DocID: 1pgGM - View Document |