An algebraic semantics of higher-order types with subtypes (Q1323318): Difference between revisions

@@ Property / cites work @@
+Q4035228
@@ Property / cites work: Q4035228 / rank @@
+Normal rank
@@ Property / cites work @@
+A filter lambda model and the completeness of type assignment
+Normal rank
@@ Property / cites work @@
+Q3332229
@@ Property / cites work: Q3332229 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3221381
@@ Property / cites work: Q3221381 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3334056
@@ Property / cites work: Q3334056 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3962973
@@ Property / cites work: Q3962973 / rank @@
+Normal rank
@@ Property / cites work @@
+Order-sorted algebra solves the constructor-selector, multiple representation, and coercion problems
+Normal rank
@@ Property / cites work @@
+Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations
+Normal rank
@@ Property / cites work @@
+The completeness theorem for typing lambda-terms
@@ Property / cites work: The completeness theorem for typing lambda-terms / rank @@
+Normal rank
@@ Property / cites work @@
+Q4722037
@@ Property / cites work: Q4722037 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3355246
@@ Property / cites work: Q3355246 / rank @@
+Normal rank
@@ Property / cites work @@
+Higher order data types
@@ Property / cites work: Higher order data types / rank @@
+Normal rank
@@ Property / cites work @@
+Universal algebra in higher types
@@ Property / cites work: Universal algebra in higher types / rank @@
+Normal rank
@@ Property / cites work @@
+What is a model of the lambda calculus?
@@ Property / cites work: What is a model of the lambda calculus? / rank @@
+Normal rank
@@ Property / cites work @@
+Q4264719
@@ Property / cites work: Q4264719 / rank @@
+Normal rank
@@ Property / cites work @@
+On specifications, theories, and models with higher types
+Normal rank
@@ Property / cites work @@
+Computational aspects of an order-sorted logic with term declarations
+Normal rank
@@ Property / cites work @@
+Data Types as Lattices
@@ Property / cites work: Data Types as Lattices / rank @@
+Normal rank
@@ Property / cites work @@
+Semantics of order-sorted specifications
@@ Property / cites work: Semantics of order-sorted specifications / rank @@
+Normal rank