Q3662598 (Q3662598): Difference between revisions

@@ Property / cites work @@
+Can programming be liberated from the von Neumann style?
+Normal rank
@@ Property / cites work @@
+Q3919053
@@ Property / cites work: Q3919053 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4094355
@@ Property / cites work: Q4094355 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3853107
@@ Property / cites work: Q3853107 / rank @@
+Normal rank
@@ Property / cites work @@
+Heterogeneous algebras
@@ Property / cites work: Heterogeneous algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q3911357
@@ Property / cites work: Q3911357 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4190110
@@ Property / cites work: Q4190110 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3871894
@@ Property / cites work: Q3871894 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3912057
@@ Property / cites work: Q3912057 / rank @@
+Normal rank
@@ Property / cites work @@
+Partial abstract types
@@ Property / cites work: Partial abstract types / rank @@
+Normal rank
@@ Property / cites work @@
+Q3657416
@@ Property / cites work: Q3657416 / rank @@
+Normal rank
@@ Property / cites work @@
+A systematic study of models of abstract data types
+Normal rank
@@ Property / cites work @@
+Q3875322
@@ Property / cites work: Q3875322 / rank @@
+Normal rank
@@ Property / cites work @@
+Model theory
@@ Property / cites work: Model theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4164787
@@ Property / cites work: Q4164787 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5572358
@@ Property / cites work: Q5572358 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4168046
@@ Property / cites work: Q4168046 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5639839
@@ Property / cites work: Q5639839 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4124327
@@ Property / cites work: Q4124327 / rank @@
+Normal rank
@@ Property / cites work @@
+The Theoretical Aspects of the Optimal Fixedpoint
@@ Property / cites work: The Theoretical Aspects of the Optimal Fixedpoint / rank @@
+Normal rank
@@ Property / cites work @@
+Fully abstract models of typed \(\lambda\)-calculi
+Normal rank
@@ Property / cites work @@
+Q4195975
@@ Property / cites work: Q4195975 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4057558
@@ Property / cites work: Q4057558 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5573961
@@ Property / cites work: Q5573961 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5537599
@@ Property / cites work: Q5537599 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4176939
@@ Property / cites work: Q4176939 / rank @@
+Normal rank
@@ Property / cites work @@
+First-order identities as a defining language
@@ Property / cites work: First-order identities as a defining language / rank @@
+Normal rank
@@ Property / cites work @@
+Q3883462
@@ Property / cites work: Q3883462 / rank @@
+Normal rank