Higher order data types (Q3860824): Difference between revisions

@@ Property / author @@
-Carlos J. P. Lucena
@@ Property / author: Carlos J. P. Lucena / rank @@
-Normal rank
@@ Property / author @@
+Carlos J. P. Lucena
@@ Property / author: Carlos J. P. Lucena / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Initial Algebra Semantics and Continuous Algebras
@@ Property / cites work: Initial Algebra Semantics and Continuous Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+An Illustration of Current Ideas on the Derivation of Correctness Proofs and Correct Programs
+Normal rank
@@ Property / cites work @@
+An axiomatic basis for computer programming
@@ Property / cites work: An axiomatic basis for computer programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q4138119
@@ Property / cites work: Q4138119 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4154035
@@ Property / cites work: Q4154035 / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/bf00995808
+Normal rank
@@ Property / OpenAlex ID @@
+W1983662941
@@ Property / OpenAlex ID: W1983662941 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3860824