The following pages link to Higher-order psi-calculi (Q5740353):
Displaying 8 items.
- Modeling and efficient verification of wireless ad hoc networks (Q1688557) (← links)
- \(\mathrm{HO}\pi\) in Coq (Q2031410) (← links)
- A Sorted Semantic Framework for Applied Process Calculi (Extended Abstract) (Q2830029) (← links)
- HOCore in Coq (Q2945640) (← links)
- A case study in programming coinductive proofs: Howe’s method (Q5236557) (← links)
- Psi-calculi in Isabelle (Q5890661) (← links)
- The reflective higher-order calculus: encodability, typability and separation (Q6124241) (← links)
- A generic type system for higher-order \(\Psi\)-calculi (Q6614878) (← links)
