Mixed inductive-coinductive reasoning : types, programs and logic

Additional Metadata
Promotor	J.J.M.M. Rutten (Jan) , H. Geuvers
Degree Grantor	Radboud Universiteit
Copromotor	H.H. Hansen (Helle)
ISBN	978-0-244-67206-5
Persistent URL	hdl.handle.net/2066/190323
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	Basold, H. (2018, April 19). Mixed inductive-coinductive reasoning : types, programs and logic. Retrieved from http://hdl.handle.net/2066/190323

Publication