Mechanizing \(\omega\)-order type theory through unification (Q1239309): Difference between revisions

@@ Property / cites work @@
+Resolution in type theory
@@ Property / cites work: Resolution in type theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q5616174
@@ Property / cites work: Q5616174 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5677084
@@ Property / cites work: Q5677084 / rank @@
+Normal rank
@@ Property / cites work @@
+Completeness in the theory of types
@@ Property / cites work: Completeness in the theory of types / rank @@
+Normal rank
@@ Property / cites work @@
+The undecidability of unification in third order logic
+Normal rank
@@ Property / cites work @@
+A unification algorithm for typed \(\overline\lambda\)-calculus
+Normal rank
@@ Property / cites work @@
+Reflection Principles and their Use for Establishing the Complexity of Axiomatic Systems
+Normal rank
@@ Property / cites work @@
+Q5598318
@@ Property / cites work: Q5598318 / rank @@
+Normal rank
@@ Property / cites work @@
+A Complete Mechanization of Second-Order Type Theory
+Normal rank
@@ Property / cites work @@
+A Machine-Oriented Logic Based on the Resolution Principle
+Normal rank
@@ Property / cites work @@
+Q5541351
@@ Property / cites work: Q5541351 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5591533
@@ Property / cites work: Q5591533 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5614672
@@ Property / cites work: Q5614672 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5636315
@@ Property / cites work: Q5636315 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5624683
@@ Property / cites work: Q5624683 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5537599
@@ Property / cites work: Q5537599 / rank @@
+Normal rank