The following pages link to Paco (Q22838):
Displayed 24 items.
- Coinductive predicates and final sequences in a fibration (Q265811) (← links)
- Flag-based big-step semantics (Q516041) (← links)
- Modular verification of programs with effects and effects handlers (Q1996433) (← links)
- (Co)inductive proof systems for compositional proofs in reachability logic (Q1996855) (← links)
- Diacritical companions (Q2133161) (← links)
- Bisimulation and coinduction enhancements: a historical perspective (Q2280213) (← links)
- Towards a Formally Verified Proof Assistant (Q2879241) (← links)
- Companions, Codensity and Causality (Q2988363) (← links)
- Generalizing Inference Systems by Coaxioms (Q2988632) (← links)
- Friends with Benefits (Q2988636) (← links)
- (Q3121528) (← links)
- Coinductive predicates and final sequences in a fibration (Q4606703) (← links)
- (Q5028421) (← links)
- POPLMark reloaded: Mechanizing proofs by logical relations (Q5110924) (← links)
- (Q5155688) (← links)
- Tower Induction and Up-to Techniques for CCS with Fixed Points (Q5283217) (← links)
- Classical Logic with Mendler Induction (Q5283417) (← links)
- Circular Coinduction in Coq Using Bisimulation-Up-To Techniques (Q5327356) (← links)
- Mtac: A monad for typed tactic programming in Coq (Q5371944) (← links)
- Compositional Coinduction with Sized Types (Q5739446) (← links)
- (Q5875344) (← links)
- Coinduction in Flow: The Later Modality in Fibrations (Q5875348) (← links)
- (Q5875422) (← links)
- Psi-calculi in Isabelle (Q5890661) (← links)