HOCore in Coq (Q2945640): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-319-22102-1_19
+Normal rank
@@ Property / OpenAlex ID @@
+W2231754610
@@ Property / OpenAlex ID: W2231754610 / rank @@
+Normal rank
@@ Property / cites work @@
+Engineering formal metatheory
@@ Property / cites work: Engineering formal metatheory / rank @@
+Normal rank
@@ Property / cites work @@
+Psi-calculi in Isabelle
@@ Property / cites work: Psi-calculi in Isabelle / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computation Structures
+Normal rank
@@ Property / cites work @@
+The locally nameless representation
@@ Property / cites work: The locally nameless representation / rank @@
+Normal rank
@@ Property / cites work @@
+HOCore in Coq
@@ Property / cites work: HOCore in Coq / rank @@
+Normal rank
@@ Property / cites work @@
+Q4365103
@@ Property / cites work: Q4365103 / rank @@
+Normal rank
@@ Property / cites work @@
+\(\pi\)-calculus in (Co)inductive-type theory
@@ Property / cites work: \(\pi\)-calculus in (Co)inductive-type theory / rank @@
+Normal rank
@@ Property / cites work @@
+A New Foundation for Nominal Isabelle
@@ Property / cites work: A New Foundation for Nominal Isabelle / rank @@
+Normal rank
@@ Property / cites work @@
+Contextual equivalence for higher-order pi-calculus revisited
+Normal rank
@@ Property / cites work @@
+On the expressiveness and decidability of higher-order process calculi
+Normal rank
@@ Property / cites work @@
+Unique decomposition of processes
@@ Property / cites work: Unique decomposition of processes / rank @@
+Normal rank
@@ Property / cites work @@
+Higher-order psi-calculi
@@ Property / cites work: Higher-order psi-calculi / rank @@
+Normal rank
@@ Property / cites work @@
+A canonical locally named representation of binding
+Normal rank
@@ Property / cites work @@
+A fresh look at programming with names and binders
+Normal rank
@@ Property / cites work @@
+Bisimulation for higher-order process calculi
@@ Property / cites work: Bisimulation for higher-order process calculi / rank @@
+Normal rank
@@ Property / cites work @@
+\(\pi\)-calculus, internal mobility, and agent-passing calculi
+Normal rank
@@ Property / cites work @@
+Plain CHOCS. A second generation calculus for higher order processes
+Normal rank
@@ Property / cites work @@
+Proof search specifications of bisimulation and modal logics for the π-calculus
+Normal rank
@@ Property / cites work @@
+Nominal techniques in Isabelle/HOL
@@ Property / cites work: Nominal techniques in Isabelle/HOL / rank @@
+Normal rank
@@ Property / cites work @@
+Q5203105
@@ Property / cites work: Q5203105 / rank @@
+Normal rank
@@ Property / cites work @@
+General Bindings and Alpha-Equivalence in Nominal Isabelle
+Normal rank