Cut-elimination for a logic with definitions and induction (Q1575931): Difference between revisions

@@ Property / author @@
-Dale A. Miller
@@ Property / author: Dale A. Miller / rank @@
-Normal rank
@@ Property / author @@
+Dale A. Miller
@@ Property / author: Dale A. Miller / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Logic Programming with Focusing Proofs in Linear Logic
+Normal rank
@@ Property / cites work @@
+Q5625124
@@ Property / cites work: Q5625124 / rank @@
+Normal rank
@@ Property / cites work @@
+A unification algorithm for typed \(\overline\lambda\)-calculus
+Normal rank
@@ Property / cites work @@
+Q5638283
@@ Property / cites work: Q5638283 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222839
@@ Property / cites work: Q4222839 / rank @@
+Normal rank
@@ Property / cites work @@
+Forum: A multiple-conclusion specification logic
@@ Property / cites work: Forum: A multiple-conclusion specification logic / rank @@
+Normal rank
@@ Property / cites work @@
+Uniform proofs as a foundation for logic programming
+Normal rank
@@ Property / cites work @@
+Higher-order Horn clauses
@@ Property / cites work: Higher-order Horn clauses / rank @@
+Normal rank
@@ Property / cites work @@
+Q4003964
@@ Property / cites work: Q4003964 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4281483
@@ Property / cites work: Q4281483 / rank @@
+Normal rank
@@ Property / cites work @@
+The practice of logical frameworks
@@ Property / cites work: The practice of logical frameworks / rank @@
+Normal rank
@@ Property / cites work @@
+Q4249901
@@ Property / cites work: Q4249901 / rank @@
+Normal rank
@@ Property / cites work @@
+Solution to a problem of Ono and Komori
@@ Property / cites work: Solution to a problem of Ono and Komori / rank @@
+Normal rank
@@ Property / cites work @@
+CUT-PROPERTY AND NEGATION AS FAILURE
@@ Property / cites work: CUT-PROPERTY AND NEGATION AS FAILURE / rank @@
+Normal rank
@@ Property / cites work @@
+Intensional interpretations of functionals of finite type I
+Normal rank