The congruence of two programming language definitions (Q1155952): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/0304-3975(81)90037-2
+Normal rank
@@ Property / OpenAlex ID @@
+W2011001069
@@ Property / OpenAlex ID: W2011001069 / rank @@
+Normal rank
@@ Property / cites work @@
+On the power of list iteration
@@ Property / cites work: On the power of list iteration / rank @@
+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 @@
+Q5621937
@@ Property / cites work: Q5621937 / rank @@
+Normal rank
@@ Property / cites work @@
+Fixpoint approach to the theory of computation
@@ Property / cites work: Fixpoint approach to the theory of computation / rank @@
+Normal rank
@@ Property / cites work @@
+Q4133080
@@ Property / cites work: Q4133080 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4072829
@@ Property / cites work: Q4072829 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5685626
@@ Property / cites work: Q5685626 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3969890
@@ Property / cites work: Q3969890 / rank @@
+Normal rank
@@ Property / cites work @@
+Continuations: A mathematical semantics for handling full jumps
+Normal rank
@@ Property / cites work @@
+A lattice-theoretical fixpoint theorem and its applications
+Normal rank
@@ Property / cites work @@
+The denotational semantics of programming languages
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1155952