A note on the elimination rules (Q1242903): Difference between revisions

@@ Property / cites work @@
+A survey of proof theory
@@ Property / cites work: A survey of proof theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4192054
@@ Property / cites work: Q4192054 / rank @@
+Normal rank
@@ Property / cites work @@
+The Connection between Equivalence of Proofs and Cartesian Closed Categories
+Normal rank
@@ Property / cites work @@
+Q5559220
@@ Property / cites work: Q5559220 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5632554
@@ Property / cites work: Q5632554 / rank @@
+Normal rank