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

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