The following pages link to (Q2769442):
Displayed 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 π-Calculus in Isabelle/HOL using Permutations (Q2841231) (← links)
- Developing (Meta)Theory of λ-calculus in the Theory of Contexts1 1Work partially supported by Italian MURST project tosca and EC-WG types. (Q2841233) (← links)
- Encoding Generic Judgments (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)