A formalization of functions as operations on flows

More Info
expand_more