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
@@ Property / describes a project that uses @@
+Fran
@@ Property / describes a project that uses: Fran / rank @@
+Normal rank
@@ 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/j.jlamp.2016.07.001
+Normal rank
@@ Property / OpenAlex ID @@
+W2460254609
@@ Property / OpenAlex ID: W2460254609 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:338619