Encoding Information in Time & Space

In Most HDLs, "wires" are declared but the passage of time is embedded in the control structures.
We are caught up (once again!) with imperative, sequential thinking and a Von Neumann model.
We need a way of capturing both temporal and spatial encoding in a single, unified mathematical model.
Use a type mechanism: "t-types"

NSF Summer Workshop, Nov. ‘87