Redundancy Elimination for LF (Q2871840): Difference between revisions

@@ Property / DOI @@
-.1016/j.entcs.2007.11.014
@@ Property / DOI: 10.1016/j.entcs.2007.11.014 / rank @@
-Normal rank
@@ Property / cites work @@
+A framework for defining logics
@@ Property / cites work: A framework for defining logics / rank @@
+Normal rank
@@ Property / cites work @@
+On equivalence and canonical forms in the LF type theory
+Normal rank
@@ Property / cites work @@
+Q4539624
@@ Property / cites work: Q4539624 / rank @@
+Normal rank
@@ Property / cites work @@
+A Logic Programming Language with Lambda-Abstraction, Function Variables, and Simple Unification
+Normal rank
@@ Property / cites work @@
+Q2778831
@@ Property / cites work: Q2778831 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4936138
@@ Property / cites work: Q4936138 / rank @@
+Normal rank
@@ Property / cites work @@
+Structural cut elimination. I: Intuitionistic and classical logic
+Normal rank
@@ Property / cites work @@
+Q4944858
@@ Property / cites work: Q4944858 / rank @@
+Normal rank
@@ Property / cites work @@
+Types for Proofs and Programs
@@ Property / cites work: Types for Proofs and Programs / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.ENTCS.2007.11.014
@@ Property / DOI: 10.1016/J.ENTCS.2007.11.014 / rank @@
+Normal rank