A Coalgebraic Foundation for Linear Time Semantics (1999)

Cached

Download Links

by John Power , Daniele Turi
Venue:In Category Theory and Computer Science
Citations:14 - 1 self