Free functor from the category of \(G\)-nominal sets to that of 01-\(G\)-nominal sets (Q1797955): 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 @@
+FreshOCaml
@@ Property / describes a project that uses: FreshOCaml / 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/s00500-017-2793-2
+Normal rank
@@ Property / OpenAlex ID @@
+W2753872413
@@ Property / OpenAlex ID: W2753872413 / rank @@
+Normal rank
@@ Property / cites work @@
+Nominal Groups and Their Homomorphism Theorems
@@ Property / cites work: Nominal Groups and Their Homomorphism Theorems / rank @@
+Normal rank
@@ Property / cites work @@
+Q3113676
@@ Property / cites work: Q3113676 / rank @@
+Normal rank
@@ Property / cites work @@
+Nominal monoids
@@ Property / cites work: Nominal monoids / rank @@
+Normal rank
@@ Property / cites work @@
+Automata theory in nominal sets
@@ Property / cites work: Automata theory in nominal sets / rank @@
+Normal rank
@@ Property / cites work @@
+Q4786538
@@ Property / cites work: Q4786538 / rank @@
+Normal rank
@@ Property / cites work @@
+One-and-a-halfth-order Logic
@@ Property / cites work: One-and-a-halfth-order Logic / rank @@
+Normal rank
@@ Property / cites work @@
+A new approach to abstract syntax with variable binding
+Normal rank
@@ Property / cites work @@
+Monoids, acts and categories. With applications to wreath products and graphs. A handbook for students and researchers
+Normal rank
@@ Property / cites work @@
+Nominal logic, a first order theory of names and binding
+Normal rank
@@ Property / cites work @@
+Nominal Sets
@@ Property / cites work: Nominal Sets / rank @@
+Normal rank
@@ Property / cites work @@
+Q5277978
@@ Property / cites work: Q5277978 / rank @@
+Normal rank
@@ Property / cites work @@
+An algebraic weak factorisation system on 01-substitution sets: a constructive proof
+Normal rank
@@ Property / cites work @@
+Nominal Domain Theory for Concurrency
@@ Property / cites work: Nominal Domain Theory for Concurrency / rank @@
+Normal rank
@@ Property / cites work @@
+Nominal techniques in Isabelle/HOL
@@ Property / cites work: Nominal techniques in Isabelle/HOL / rank @@
+Normal rank