Picture of a black hole

Strathclyde Open Access research that creates ripples...

The Strathprints institutional repository is a digital archive of University of Strathclyde's Open Access research outputs. Strathprints provides access to thousands of research papers by University of Strathclyde researchers, including by Strathclyde physicists involved in observing gravitational waves and black hole mergers as part of the Laser Interferometer Gravitational-Wave Observatory (LIGO) - but also other internationally significant research from the Department of Physics. Discover why Strathclyde's physics research is making ripples...

Strathprints also exposes world leading research from the Faculties of Science, Engineering, Humanities & Social Sciences, and from the Strathclyde Business School.

Discover more...

Browse by Author or Creator

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item type | No Grouping
Number of items: 3.

Article

Ghani, Neil and Johann, Patricia and Fumex, Clement (2012) Generic fibrational induction. Logical Methods in Computer Science, 8 (2). ISSN 1860-5974

Book Section

Ghani, 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 . 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. Lecture Notes In Computer Science, 6247 . Springer, pp. 336-350. ISBN 978-3-642-15204-7

This list was generated on Mon Dec 5 19:05:54 2016 GMT.