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