The following pages link to (Q2769442):
Displaying 10 items.
- Two case studies of semantics execution in Maude: CCS and LOTOS (Q816216) (← links)
- Mechanizing type environments in weak HOAS (Q897934) (← links)
- Mechanized metatheory revisited (Q2323447) (← links)
- A first-order syntax for the \(\pi\)-calculus in Isabelle/HOL using permutations (Q2841231) (← links)
- Developing (meta)theory of \(\lambda\)-calculus in the theory of contexts (Q2841233) (← links)
- Encoding generic judgments: preliminary results (Q2841234) (← links)
- The theory of contexts for first order and higher order abstract syntax (Q2841274) (← links)
- A Coq library for verification of concurrent programs (Q2871836) (← links)
- Specifying properties of concurrent computations in CLF (Q2871839) (← links)
- Proof-relevant π-calculus: a constructive account of concurrency and causality (Q4691184) (← links)