Psi-calculi in Isabelle (Q5895110): Difference between revisions

@@ Property / describes a project that uses @@
+Nominal Isabelle
@@ Property / describes a project that uses: Nominal Isabelle / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Isabelle
@@ Property / describes a project that uses: Isabelle / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Psi-calculi
@@ Property / describes a project that uses: Psi-calculi / rank @@
+Normal rank
@@ 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-642-03359-9_9
+Normal rank
@@ Property / OpenAlex ID @@
+W1499941466
@@ Property / OpenAlex ID: W1499941466 / rank @@
+Normal rank
@@ Property / cites work @@
+Mobile values, new names, and secure communication
+Normal rank
@@ Property / cites work @@
+Engineering formal metatheory
@@ Property / cites work: Engineering formal metatheory / rank @@
+Normal rank
@@ Property / cites work @@
+Types for Proofs and Programs
@@ Property / cites work: Types for Proofs and Programs / rank @@
+Normal rank
@@ Property / cites work @@
+The lambda calculus. Its syntax and semantics. Rev. ed.
+Normal rank
@@ Property / cites work @@
+Psi-calculi: a framework for mobile processes with nominal data and logic
+Normal rank
@@ Property / cites work @@
+Formalising the π-Calculus Using Nominal Logic
@@ Property / cites work: Formalising the π-Calculus Using Nominal Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Nominal Inversion Principles
@@ Property / cites work: Nominal Inversion Principles / rank @@
+Normal rank
@@ Property / cites work @@
+Open Bisimulation for the Concurrent Constraint Pi-Calculus
+Normal rank
@@ Property / cites work @@
+Q5667469
@@ Property / cites work: Q5667469 / 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 @@
+Nominal logic, a first order theory of names and binding
+Normal rank
@@ Property / cites work @@
+A fully adequate shallow embedding of the  π-calculus in Isabelle/HOL with mechanized syntax analysis
+Normal rank
@@ Property / cites work @@
+Nominal techniques in Isabelle/HOL
@@ Property / cites work: Nominal techniques in Isabelle/HOL / rank @@
+Normal rank
@@ Property / cites work @@
+Barendregt’s Variable Convention in Rule Inductions
+Normal rank