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

@@ 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
@@ Property / cites work @@
+Q5284548
@@ Property / cites work: Q5284548 / rank @@
+Normal rank
@@ Property / cites work @@
+On an intuitionistic modal logic
@@ Property / cites work: On an intuitionistic modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Functional reactive animation
@@ Property / cites work: Functional reactive animation / rank @@
+Normal rank
@@ Property / cites work @@
+Towards a Common Categorical Semantics for Linear-Time Temporal Logic and Functional Reactive Programming
+Normal rank
@@ Property / cites work @@
+Monad as modality
@@ Property / cites work: Monad as modality / rank @@
+Normal rank
@@ Property / cites work @@
+A semantic model for graphical user interfaces
@@ Property / cites work: A semantic model for graphical user interfaces / rank @@
+Normal rank
@@ Property / cites work @@
+Higher-order functional reactive programming in bounded space
+Normal rank
@@ Property / cites work @@
+The Logic of Bunched Implications
@@ Property / cites work: The Logic of Bunched Implications / rank @@
+Normal rank