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 listsJane Langdale SoCS PhD Research Training Sessions Algebra Reading Group on Sporadic Groups## Other talksDeveloping coherent light sources from van der Waals heterostructures coupled to plasmonic lattices Kinetic constraints vs chaos in many-body dynamics TBA TBA Plasmonic and photothermal properties of TiN nanomaterials The Heat content of polygonal domains |