The Method of Coalgebra: exercises in coinduction

Additional Metadata
Publisher	Centrum Wiskunde & Informatica, Amsterdam (CWI), The Netherlands
ISBN	978-90-6196-568-8
Organisation	Computer Security
Citation APA Style AAA Style APA Style Cell Style Chicago Style Harvard Style IEEE Style MLA Style Nature Style Vancouver Style American-Institute-of-Physics Style Council-of-Science-Editors Style BibTex Format Endnote Format RIS Format CSL Format DOIs only Format	Rutten, J. (2019). The Method of Coalgebra: exercises in coinduction.

Publication