Paco
From MaRDI portal
Cited in
(43)- Modular verification of programs with effects and effects handlers
- (Co)inductive proof systems for compositional proofs in reachability logic
- CompCertTSO
- Diacritical companions
- Coquet
- Bisimulation and coinduction enhancements: a historical perspective
- Rtac
- VeriML
- Coinductive predicates and final sequences in a fibration
- CC-Pi
- CoALP
- Towards a formally verified proof assistant
- Companions, codensity and causality
- Generalizing inference systems by coaxioms
- Friends with benefits. Implementing corecursion in foundational proof assistants
- scientific article; zbMATH DE number 7037626 (Why is no real title available?)
- AmiCo
- MiniAgda
- CoCaml
- Rocksalt
- HOLCF
- Coinductive
- Stern-Brocot Tree
- Psi-calculi
- Kami
- coFJ
- Coinductive predicates and final sequences in a fibration
- Foundations of regular coinduction
- POPLMark reloaded: mechanizing proofs by logical relations
- scientific article; zbMATH DE number 7407797 (Why is no real title available?)
- Flag-based big-step semantics
- Tower induction and up-to techniques for CCS with fixed points
- Classical Logic with Mendler Induction
- operational
- Circular coinduction in Coq using bisimulation-up-to techniques
- Mtac: a monad for typed tactic programming in Coq
- CoCon
- Compositional coinduction with sized types
- Coinduction: automata, formal proof, companions (invited paper)
- Coinduction in Flow: The Later Modality in Fibrations
- scientific article; zbMATH DE number 7649963 (Why is no real title available?)
- Psi-calculi in Isabelle
- Zooid
This page was built for software: Paco
