Equality of proofs for linear equality (Q944225): Difference between revisions

@@ Property / arXiv ID @@
+math/0601490
@@ Property / arXiv ID: math/0601490 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3837726
@@ Property / cites work: Q3837726 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3837727
@@ Property / cites work: Q3837727 / rank @@
+Normal rank
@@ Property / cites work @@
+Cut elimination in categories
@@ Property / cites work: Cut elimination in categories / rank @@
+Normal rank
@@ Property / cites work @@
+Simplicial Endomorphisms
@@ Property / cites work: Simplicial Endomorphisms / rank @@
+Normal rank
@@ Property / cites work @@
+Generality of proofs and its Brauerian representation
+Normal rank
@@ Property / cites work @@
+A Brauerian representation of split preorders
@@ Property / cites work: A Brauerian representation of split preorders / rank @@
+Normal rank
@@ Property / cites work @@
+Q3376920
@@ Property / cites work: Q3376920 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5411254
@@ Property / cites work: Q5411254 / rank @@
+Normal rank
@@ Property / cites work @@
+Categorical logic and type theory
@@ Property / cites work: Categorical logic and type theory / rank @@
+Normal rank
@@ Property / cites work @@
+On the equivalence of proofs involving identity
@@ Property / cites work: On the equivalence of proofs involving identity / rank @@
+Normal rank
@@ Property / cites work @@
+Q4888735
@@ Property / cites work: Q4888735 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5642701
@@ Property / cites work: Q5642701 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5655527
@@ Property / cites work: Q5655527 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5639839
@@ Property / cites work: Q5639839 / rank @@
+Normal rank