Live and recorded interfaces

Typed hybrid evolution and the two notions of time › Live and recorded interfaces · lines 1238–1243

The type distinction is necessary. Writing $M_{C} M_{C}$ would be meaningless on these interfaces: the first readout has already consumed its clock input.

Nearby in this section

section: Live and recorded interfaces
proposition: Proposition: Hybrid propagator and composition