On the semantics of the bad-variable constructor in Algol-like languages (Q276481): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+N15
@@ Property / Mathematics Subject Classification ID: 68N15 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q55
@@ Property / Mathematics Subject Classification ID: 68Q55 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6577016
@@ Property / zbMATH DE Number: 6577016 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Algol-like languages
@@ Property / zbMATH Keywords: Algol-like languages / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+game semantics
@@ Property / zbMATH Keywords: game semantics / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+full abstraction
@@ Property / zbMATH Keywords: full abstraction / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+bad variables
@@ Property / zbMATH Keywords: bad variables / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+conservative extension
@@ Property / zbMATH Keywords: conservative extension / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+observational equivalence
@@ Property / zbMATH Keywords: observational equivalence / rank @@
+Normal rank

Revision as of 16:37, 27 June 2023