A Coalgebraic Foundation for Linear Time (1999)

by D Turi J Power
Venue:Semantics, CTCS'99 Conf. Proc., M.Hofmann et