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

@@ Property / full work available at URL @@
+https://doi.org/10.1016/0304-3975(76)90021-9
+Normal rank
@@ Property / OpenAlex ID @@
+W1990121424
@@ Property / OpenAlex ID: W1990121424 / rank @@
+Normal rank
@@ 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