Browse by Author or Creator
Group by: Item type | No Grouping Jump to: Book Section Number of items: 2.
Book SectionGhani, Neil and Johann, Patricia and Fumex, Clement (2011) Indexed induction and coinduction, fibrationally. In: Algebra and coalgebra in computer science. Lecture Notes in Computer Science, 6859 . Springer, pp. 176-191. ISBN 9783642229435 Ghani, Neil and Johann, Patricia and Fumex, Clement (2010) Fibrational induction rules for initial algebras. In: Computer Science Logic, CSL 2010, 19th Annual Conference of the EACSL. Springer, pp. 336-350. ISBN 978-3-642-15204-7 This list was generated on Thu Jun 20 00:42:40 2013 BST. |
||
