One method of defining the semantics of programming language constructs in terms of lambda calculus. II (Q3706514): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Definition of the semantics of programming language constructs in terms of ?-calculus. I
+Normal rank
@@ Property / cites work @@
+A lambda-calculus model of programming languages—I. Simple constructs
+Normal rank
@@ Property / cites work @@
+Q5686017
@@ Property / cites work: Q5686017 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4133944
@@ Property / cites work: Q4133944 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3706514