Diacritical companions
From MaRDI portal
Publication:2133161
Recommendations
Cites work
- scientific article; zbMATH DE number 42752 (Why is no real title available?)
- A coinductive calculus of streams
- Coinduction All the Way Up
- Coinduction up-to in a fibrational setting
- Companions, codensity and causality
- Complete Lattices and Up-To Techniques
- Enhancements of the bisimulation proof method
- Environmental bisimulations for delimited-control operators with dynamic prompt generation
- Monoidal company for accessible functors
- On the bisimulation proof method
- Proving soundness of extensional normal-form bisimilarities
- The largest respectful function
- The power of parameterization in coinductive proof
- Tower induction and up-to techniques for CCS with fixed points
This page was built for publication: Diacritical companions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2133161)