Yesterday I finished my new paper *Temporal Logic with “Until”, Functional Reactive Programming with Processes, and Concrete Process Categories*, which will appear in the proceedings of PLPV ’13 and is also available online. I have already given two talks on topics of this paper, one at the Joint Estonian–Latvian Theory Days at Medzābaki and another one at the Theory Seminar of the Institute of Cybernetics. Continue reading

# New paper about a generalization of FRP and causality in categorical models

Leave a reply