Representations of stream processors using nested fixed points

by Peter Hancock , Dirk Pattinson , Neil Ghani
Venue:Logical Methods in Computer Science
Citations:15 - 2 self