Output details
11 - Computer Science and Informatics
University of Strathclyde
Output title
Fibrational induction rules for initial algebras
Type
E - Conference contribution
Name of conference/published proceedings
Computer Science Logic : 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings
Volume number
6247
Issue number
-
First page of article
336
ISSN of proceedings
0302-9743
Year of publication
2010
Number of additional authors
2
Additional information
<11>This papers's significance is its abstract methodology for deriving induction rules for arbitrary data types in arbitrary logics. This is likely to have significant impact as the number of logics in computer science increases as does the number of advanced data type formats. Further evidence for its significance is that it was invited for the LMCS journal version of the CSL 2010 conference paper, it spawned a series of papers extending the results to final coalgebras, indexed inductive types and indexed coinductive types, and that it lead to the EPSRC grant EP/K023837/1 Logic for Program Verification.
Interdisciplinary
-
Cross-referral requested
-
Research group
A - Theoretical Computer Science
Citation count
8
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
