Games for complexity of second-order call-by-name programs (Q2570133): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2025804948
@@ Property / OpenAlex ID: W2025804948 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4823132
@@ Property / cites work: Q4823132 / rank @@
+Normal rank
@@ Property / cites work @@
+Full abstraction for PCF
@@ Property / cites work: Full abstraction for PCF / rank @@
+Normal rank
@@ Property / cites work @@
+Q4218919
@@ Property / cites work: Q4218919 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4263830
@@ Property / cites work: Q4263830 / rank @@
+Normal rank
@@ Property / cites work @@
+Full abstraction for idealized Algol with passive expressions
+Normal rank
@@ Property / cites work @@
+Q4198056
@@ Property / cites work: Q4198056 / rank @@
+Normal rank
@@ Property / cites work @@
+Regular-Language Semantics for a Call-by-Value Programming Language
+Normal rank
@@ Property / cites work @@
+Q2754137
@@ Property / cites work: Q2754137 / rank @@
+Normal rank
@@ Property / cites work @@
+The regular-language semantics of second-order idealized ALGOL
+Normal rank
@@ Property / cites work @@
+Game theoretic analysis of call-by-value computation
+Normal rank
@@ Property / cites work @@
+On full abstraction for PCF: I, II and III
@@ Property / cites work: On full abstraction for PCF: I, II and III / rank @@
+Normal rank
@@ Property / cites work @@
+Even Simple Programs Are Hard To Analyze
@@ Property / cites work: Even Simple Programs Are Hard To Analyze / rank @@
+Normal rank
@@ Property / cites work @@
+Q4474156
@@ Property / cites work: Q4474156 / rank @@
+Normal rank
@@ Property / cites work @@
+On the semantics of the bad-variable constructor in Algol-like languages
+Normal rank
@@ Property / cites work @@
+Functions with local state: regularity and undecidability
+Normal rank
@@ Property / cites work @@
+Q3221403
@@ Property / cites work: Q3221403 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3392273
@@ Property / cites work: Q3392273 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2570133