Unification in an extensional lambda calculus with ordered function sorts and constant overloading (Q5210801): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1515150570
@@ Property / OpenAlex ID: W1515150570 / rank @@
+Normal rank
@@ Property / cites work @@
+A modest model of records, inheritance, and bounded quantification
+Normal rank
@@ Property / cites work @@
+A semantics of multiple inheritance
@@ Property / cites work: A semantics of multiple inheritance / rank @@
+Normal rank
@@ Property / cites work @@
+Subtyping + extensionality: Confluence of βηtop reduction in F≤
+Normal rank
@@ Property / cites work @@
+A unification algorithm for typed \(\overline\lambda\)-calculus
+Normal rank
@@ Property / cites work @@
+Unification in an extensional lambda calculus with ordered function sorts and constant overloading
+Normal rank
@@ Property / cites work @@
+Q4255519
@@ Property / cites work: Q4255519 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4264719
@@ Property / cites work: Q4264719 / rank @@
+Normal rank
@@ Property / cites work @@
+Higher-order order-sorted algebras
@@ Property / cites work: Higher-order order-sorted algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Computational aspects of an order-sorted logic with term declarations
+Normal rank
@@ Property / cites work @@
+A proof theory for general unification
@@ Property / cites work: A proof theory for general unification / rank @@
+Normal rank
@@ Property / cites work @@
+Q4294448
@@ Property / cites work: Q4294448 / rank @@
+Normal rank