State and time are the same thing (via amw-zero) — discussion

#formalmethods #plt