Representations of stream processors using nested fixed points (0)

by Peter Hancock, Dirk Pattinson, Neil Ghani
Venue:Logical Methods in Computer Science