Abstract categorical semantics for resourceful functional reactive programming (Q338619): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+N18
@@ Property / Mathematics Subject Classification ID: 68N18 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B44
@@ Property / Mathematics Subject Classification ID: 03B44 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B70
@@ Property / Mathematics Subject Classification ID: 03B70 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+C50
@@ Property / Mathematics Subject Classification ID: 18C50 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6648212
@@ Property / zbMATH DE Number: 6648212 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+functional reactive programming
@@ Property / zbMATH Keywords: functional reactive programming / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+temporal logic
@@ Property / zbMATH Keywords: temporal logic / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+linear logic
@@ Property / zbMATH Keywords: linear logic / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+logic of bunched implications
@@ Property / zbMATH Keywords: logic of bunched implications / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+categorical semantics
@@ Property / zbMATH Keywords: categorical semantics / rank @@
+Normal rank

Revision as of 06:41, 28 June 2023