There is one thing that really bothers me, I've not found a single a mathematical formula that defines FRP. The closest thing I've found was the "Denotational S

There is one thing that really bothers me, I've not found a single a mathematical formula that defines FRP. The closest thing I've found was the "Denotational Semantics" showing the logic behind, which is quite lenghty and leaves a lot of room for variations. I hate descriptions full of buzzwords that, when you look at it closely have really nothing to do with FRP, but are mere tools that help realizing it. Is there someone who can explain us scholars how FRP can be noted down formaly? Even a link to a page of a paper that shows the formula would be enormously useful. I'll put all the good papers that I've found in the footnoes. -------- 　The following are a few of the good papers on FRP (ordered by subj. quality). I've read the Elm paper, but it's vague despite having a lot of maths in it. What it really decribes is not FRP, but Elm (also it's not exactly FRP). 　[1] https://blogs.janestreet.com/breaking-down-frp/ https://blogs.janestreet.com/breaking-down-frp/ 　[2] Higher-Order Functional Reactive Programming without Spacetime Leaks - https://www.mpi-sws.org/~neelk/simple-frp.pdf https://www.mpi-sws.org/~neelk/simple-frp.pdf 　[3] An Axiomatic Semantics for Functional Reactive Programming - http://www.wpi.edu/Pubs/ETD/Available/etd-042908-133033/unrestricted/cking.pdf http://www.wpi.edu/Pubs/ETD/Available/etd-042908-133033/unre... 　[4] Push-pull functional reactive programming - http://conal.net/papers/push-pull-frp/ http://conal.net/papers/push-pull-frp/ 　[5] Categorical Semantics for Functional Reactive Programming with Temporal Recursion and Corecursion - http://www.cs.bham.ac.uk/~pbl/msfp2014/catsemfrp.pdf http://www.cs.bham.ac.uk/~pbl/msfp2014/catsemfrp.pdf 　[6] Completeness of Conversion between Reactive Programs for Ultrametric Models - http://www.cs.le.ac.uk/people/fdv1/fdv1/Distribution/SeveriDeVriesTLCA2013.pdf http://www.cs.le.ac.uk/people/fdv1/fdv1/Distribution/SeveriD... 　[7] Fair Reactive Programming - http://www.cs.mcgill.ca/~acave1/papers/fair-reactive.pdf http://www.cs.mcgill.ca/~acave1/papers/fair-reactive.pdf 　[8] A Survey on Reactive Programming - http://soft.vub.ac.be/Publications/2012/vub-soft-tr-12-13.pdf http://soft.vub.ac.be/Publications/2012/vub-soft-tr-12-13.pd... 　[9] Signals, Not Generators! - http://www.ioc.ee/~wolfgang/research/tfp-2009-slides.pdf http://www.ioc.ee/~wolfgang/research/tfp-2009-slides.pdf 　[10] http://stackoverflow.com/questions/5875929/specification-for-a-functional-reactive-programming-language#5878525 http://stackoverflow.com/questions/5875929/specification-for... 　[11] http://stackoverflow.com/questions/1028250/what-is-functional-reactive-programming/1030631#1030631 http://stackoverflow.com/questions/1028250/what-is-functiona... The bad thing about all those papers is that a) you need to know Category Theory, b) Temporal Logic, c) Denotational Semantics d) (and optionally Henkin and Ultrametric Models) Unfortunately I'm not yet that smart :( hope someone can bring clarity into FRP Sorry for the ugly footnote, that's the best I got using HN's formatting capability. Update: I used unicode spaces, that fixed it.