M. Haveraaen , J. Power , M. Seisenberger
CALCO Young Researchers Workshop
Computer Security

Silva, A.M. (2007). A coalgebraic view on bi-infinite streams (Abstract). In M Haveraaen, J Power, & M Seisenberger (Eds.), CALCO Young Researchers Workshop 2007.