About permutation algebras, (pre)sheaves and named sets (Q853745): Difference between revisions

@@ Property / cites work @@
+Consistency of the theory of contexts
@@ Property / cites work: Consistency of the theory of contexts / rank @@
+Normal rank
@@ Property / cites work @@
+Compositional SOS and beyond: A coalgebraic view of open systems
+Normal rank
@@ Property / cites work @@
+Q4738222
@@ Property / cites work: Q4738222 / rank @@
+Normal rank
@@ Property / cites work @@
+A fully abstract model for the \(\pi\)-calculus.
@@ Property / cites work: A fully abstract model for the \(\pi\)-calculus. / rank @@
+Normal rank
@@ Property / cites work @@
+Q2847808
@@ Property / cites work: Q2847808 / rank @@
+Normal rank
@@ Property / cites work @@
+A new approach to abstract syntax with variable binding
+Normal rank
@@ Property / cites work @@
+Q2847782
@@ Property / cites work: Q2847782 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4535076
@@ Property / cites work: Q4535076 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4064160
@@ Property / cites work: Q4064160 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4693151
@@ Property / cites work: Q4693151 / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computational Structures
+Normal rank
@@ Property / cites work @@
+Notions of computation and monads
@@ Property / cites work: Notions of computation and monads / rank @@
+Normal rank
@@ Property / cites work @@
+Structured coalgebras and minimal HD-automata for the \(\pi\)-calculus
+Normal rank
@@ Property / cites work @@
+Q4536393
@@ Property / cites work: Q4536393 / rank @@
+Normal rank
@@ Property / cites work @@
+Nominal logic, a first order theory of names and binding
+Normal rank
@@ Property / cites work @@
+Semantics for Algebraic Operations
@@ Property / cites work: Semantics for Algebraic Operations / rank @@
+Normal rank
@@ Property / cites work @@
+Universal coalgebra: A theory of systems
@@ Property / cites work: Universal coalgebra: A theory of systems / rank @@
+Normal rank