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
- Compositional Coinduction with Sized Types
- Friends with Benefits
- Mtac: A monad for typed tactic programming in Coq
- Companions, Codensity and Causality
- Coinduction in Flow: The Later Modality in Fibrations
- Title not available (Why is that?)
- Diacritical companions
- POPLMark reloaded: Mechanizing proofs by logical relations
- Circular Coinduction in Coq Using Bisimulation-Up-To Techniques
- Classical Logic with Mendler Induction
- Title not available (Why is that?)
- Coinductive predicates and final sequences in a fibration
- Psi-calculi in Isabelle
- Modular verification of programs with effects and effects handlers
- Generalizing Inference Systems by Coaxioms
- Towards a Formally Verified Proof Assistant
- Title not available (Why is that?)
- Title not available (Why is that?)
- Flag-based big-step semantics
- Tower Induction and Up-to Techniques for CCS with Fixed Points
This page was built for software: Paco
