Fibrational Induction Rules for Initial Algebras - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Neil Ghani, Patricia Johann, Clément Fumex. Fibrational Induction Rules for Initial Algebras. In Anuj Dawar, Helmut Veith, editors, Computer Science Logic, 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings. Volume 6247 of Lecture Notes in Computer Science, pages 336-350, Springer, 2010. [doi]

Identified as Neil Ghani (University of Strathclyde )Identified as Patricia Johann This author has not been identified. Look up 'Clément Fumex' in Google

runs on WebDSL