\(\pi\)-calculus in (Co)inductive-type theory (Q1589654): Difference between revisions

@@ Property / author @@
-Furio Honsell
@@ Property / author: Furio Honsell / rank @@
-Normal rank
@@ Property / author @@
-Marino Miculan
@@ Property / author: Marino Miculan / rank @@
-Normal rank
@@ Property / author @@
-Ivan Scagnetto
@@ Property / author: Ivan Scagnetto / rank @@
-Normal rank
@@ Property / author @@
+Furio Honsell
@@ Property / author: Furio Honsell / rank @@
+Normal rank
@@ Property / author @@
+Marino Miculan
@@ Property / author: Marino Miculan / rank @@
+Normal rank
@@ Property / author @@
+Ivan Scagnetto
@@ Property / author: Ivan Scagnetto / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+LEGO
@@ Property / describes a project that uses: LEGO / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Coq
@@ Property / describes a project that uses: Coq / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Using typed lambda calculus to implement formal systems on a machine
+Normal rank
@@ Property / cites work @@
+The calculus of constructions
@@ Property / cites work: The calculus of constructions / rank @@
+Normal rank
@@ Property / cites work @@
+Automating inversion of inductive predicates in Coq
+Normal rank
@@ Property / cites work @@
+Q3024831
@@ Property / cites work: Q3024831 / rank @@
+Normal rank
@@ Property / cites work @@
+An application of co-inductive types in Coq: Verification of the alternating bit protocol
+Normal rank
@@ Property / cites work @@
+A framework for defining logics
@@ Property / cites work: A framework for defining logics / rank @@
+Normal rank
@@ Property / cites work @@
+A natural deduction approach to dynamic logic
@@ Property / cites work: A natural deduction approach to dynamic logic / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of mobile processes. II
@@ Property / cites work: A calculus of mobile processes. II / rank @@
+Normal rank
@@ Property / cites work @@
+Modal logics for mobile processes
@@ Property / cites work: Modal logics for mobile processes / rank @@
+Normal rank
@@ Property / cites work @@
+Q3999860
@@ Property / cites work: Q3999860 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4281483
@@ Property / cites work: Q4281483 / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of bisimulation for the \(\pi\)-calculus
@@ Property / cites work: A theory of bisimulation for the \(\pi\)-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+A natural extension of natural deduction
@@ Property / cites work: A natural extension of natural deduction / rank @@
+Normal rank
@@ Property / cites work @@
+Types for proofs and programs. International workshop TYPES '95, Torino, Italy, June 5--8, 1995. Selected papers
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1589654