The following pages link to (Q4664925):
Displaying 11 items.
- A study of substitution, using nominal techniques and Fraenkel-Mostowksi sets (Q1006642) (← links)
- \(\mathrm{HO}\pi\) in Coq (Q2031410) (← links)
- Fresh logic: Proof-theory and semantics for FM and nominal techniques (Q2372191) (← links)
- A general mathematics of names (Q2373874) (← links)
- Behavioural equivalences for dynamic web data (Q2474049) (← links)
- On the representation of McCarthy's amb in the \(\pi\)-calculus (Q2847406) (← links)
- A completeness proof for bisimulation in the pi-calculus using Isabelle (Q2871830) (← links)
- Proof-relevant π-calculus: a constructive account of concurrency and causality (Q4691184) (← links)
- Hard Life with Weak Binders (Q5170666) (← links)
- New Computational Paradigms (Q5717062) (← links)
- (Q5856409) (← links)