Generality of proofs and its Brauerian representation (Q3160565): Difference between revisions

@@ Property / cites work @@
+On algebras which are connected with the semisimple continuous groups
+Normal rank
@@ Property / cites work @@
+Identity of Proofs Based on Normalization and Generality
+Normal rank
@@ Property / cites work @@
+Q2707078
@@ Property / cites work: Q2707078 / rank @@
+Normal rank
@@ Property / cites work @@
+A generalization of the functorial calculus
@@ Property / cites work: A generalization of the functorial calculus / rank @@
+Normal rank
@@ Property / cites work @@
+A quotient of the affine Hecke algebra in the Brauer algebra
+Normal rank
@@ Property / cites work @@
+Coherence in closed categories
@@ Property / cites work: Coherence in closed categories / rank @@
+Normal rank
@@ Property / cites work @@
+Deductive systems and categories
@@ Property / cites work: Deductive systems and categories / rank @@
+Normal rank
@@ Property / cites work @@
+Q3727946
@@ Property / cites work: Q3727946 / rank @@
+Normal rank
@@ Property / cites work @@
+Coherence in substructural categories
@@ Property / cites work: Coherence in substructural categories / rank @@
+Normal rank
@@ Property / cites work @@
+Q5632554
@@ Property / cites work: Q5632554 / rank @@
+Normal rank
@@ Property / cites work @@
+A Counter-Example to Coherence in Cartesian Closed Categories
+Normal rank
@@ Property / cites work @@
+On the structure of Brauer's centralizer algebras
@@ Property / cites work: On the structure of Brauer's centralizer algebras / rank @@
+Normal rank