Pages that link to "Item:Q2931796"

The following pages link to The power of parameterization in coinductive proof (Q2931796):

Displaying 30 items.

• Paco (Q22838) (← links)
• 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)
• Non-well-founded deduction for induction and coinduction (Q2055840) (← links)
• Diacritical companions (Q2133161) (← links)
• Bisimulation and coinduction enhancements: a historical perspective (Q2280213) (← links)
• A Coinductive Animation of Turing Machines (Q2797865) (← links)
• On the Key Dependent Message Security of the Fujisaki-Okamoto Constructions (Q2798773) (← 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)
• Up-To Techniques for Behavioural Metrics via Fibrations (Q5009431) (← links)
• (Q5028421) (← links)
• (Q5089290) (← 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)
• 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)
• Up-to techniques for behavioural metrics via fibrations (Q6190392) (← links)
• Systems of fixpoint equations: abstraction, games, up-to techniques and local algorithms (Q6647769) (← links)