Higher-order algebra with transfinite types (Q4645814): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/3-540-61254-8_29
+Normal rank
@@ Property / OpenAlex ID @@
+W2138155064
@@ Property / OpenAlex ID: W2138155064 / rank @@
+Normal rank
@@ Property / cites work @@
+A transfinite type theory with type variables
@@ Property / cites work: A transfinite type theory with type variables / rank @@
+Normal rank
@@ Property / cites work @@
+Q5762080
@@ Property / cites work: Q5762080 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5515373
@@ Property / cites work: Q5515373 / rank @@
+Normal rank
@@ Property / cites work @@
+Fundamentals of contemporary set theory
@@ Property / cites work: Fundamentals of contemporary set theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4151143
@@ Property / cites work: Q4151143 / rank @@
+Normal rank
@@ Property / cites work @@
+Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations
+Normal rank
@@ Property / cites work @@
+An Oxford survey of order sorted algebra
@@ Property / cites work: An Oxford survey of order sorted algebra / rank @@
+Normal rank
@@ Property / cites work @@
+An outline of set theory
@@ Property / cites work: An outline of set theory / rank @@
+Normal rank
@@ Property / cites work @@
+On the power of higher-order algebraic specification methods
+Normal rank
@@ Property / cites work @@
+Systems of transfinite types involving <i>λ</i>-conversion
+Normal rank
@@ Property / cites work @@
+Q3975158
@@ Property / cites work: Q3975158 / rank @@
+Normal rank
@@ Property / cites work @@
+Equational type logic
@@ Property / cites work: Equational type logic / 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 @@
+A recursive second order initial algebra specification of primitive recursion
+Normal rank
@@ Property / cites work @@
+A completeness theorem for the expressive power of higher-order algebraic specifications
+Normal rank
@@ Property / cites work @@
+Q3809236
@@ Property / cites work: Q3809236 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3204056
@@ Property / cites work: Q3204056 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4942093
@@ Property / cites work: Q4942093 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4035262
@@ Property / cites work: Q4035262 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4942092
@@ Property / cites work: Q4942092 / rank @@
+Normal rank
@@ Property / cites work @@
+An algebraic semantics of higher-order types with subtypes
+Normal rank
@@ Property / cites work @@
+Q4002149
@@ Property / cites work: Q4002149 / rank @@
+Normal rank