University of Birmingham > Talks@bham > Theoretical computer science seminar > A Fibrational Induction Rule for Inductive Types

## A Fibrational Induction Rule for Inductive TypesAdd to your list(s) Download to your calendar using vCal - Patricia Johann, University of Strathclyde
- Tuesday 04 May 2010, 13:00-14:00
- Venue to be confirmed.
If you have a question about this talk, please contact Paul Levy. We develop a generic induction rule that can be used to prove properties of inductive data types. Our results are semantic in nature and are inspired by Hermida and Jacobs’ elegant algebraic formulation of induction for polynomial data types. Our contribution is to derive, under slightly different assumptions, an induction rule that is generic over This is joint work with Neil Ghani and Clement Fumex. This talk is part of the Theoretical computer science seminar series. ## This talk is included in these lists:- Computer Science Departmental Series
- Computer Science Distinguished Seminars
- Theoretical computer science seminar
- Venue to be confirmed
- computer sience
Note that ex-directory lists are not shown. |
## Other listsQuantitative Methods in Finance Seminar School of Mathematics Events Theoretical Physics Journal Club## Other talksTheory: This is moved to next year, 2023 ! TBC TBA Structured Decompositions: recursive data and recursive algorithms Plasmonic Electronic Paper TBC |