swMATH10885MaRDI QIDQ22838FDOQ22838
Author name not available (Why is that?)
Official website: http://plv.mpi-sws.org/paco/
Cited In (43)
- Coinductive predicates and final sequences in a fibration
- Bisimulation and coinduction enhancements: a historical perspective
- Title not available (Why is that?)
- (Co)inductive proof systems for compositional proofs in reachability logic
- Tower induction and up-to techniques for CCS with fixed points
- Coinduction in Flow: The Later Modality in Fibrations
- Title not available (Why is that?)
- Diacritical companions
- Compositional coinduction with sized types
- Classical Logic with Mendler Induction
- Generalizing inference systems by coaxioms
- Title not available (Why is that?)
- CompCertTSO
- Coquet
- Rtac
- VeriML
- CC-Pi
- CoALP
- Mtac: a monad for typed tactic programming in Coq
- AmiCo
- MiniAgda
- CoCaml
- Rocksalt
- HOLCF
- Coinductive
- Kami
- Psi-calculi
- coFJ
- Stern-Brocot Tree
- Towards a formally verified proof assistant
- operational
- CoCon
- Coinductive predicates and final sequences in a fibration
- Psi-calculi in Isabelle
- Modular verification of programs with effects and effects handlers
- POPLMark reloaded: mechanizing proofs by logical relations
- Circular coinduction in Coq using bisimulation-up-to techniques
- Title not available (Why is that?)
- Zooid
- Title not available (Why is that?)
- Flag-based big-step semantics
- Friends with benefits. Implementing corecursion in foundational proof assistants
- Companions, codensity and causality
This page was built for software: Paco