Science Temporal logic and functional reactive programming

1.Temporal Logic and Functional Reactive Programming Sergei Winitzki Bay Area Categories and Types April 25, 2014 Sergei Winitzki (Versal Group Inc.) Temporal Logic and FRP…