Paco
From MaRDI portal
Software:22838
swMATH10885MaRDI QIDQ22838FDOQ22838
Author name not available (Why is that?)
Cited In (24)
- 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?)
- Mtac: a monad for typed tactic programming in Coq
- Towards a formally verified proof assistant
- 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?)
- 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
