Generic Fibrational Induction
This paper provides an induction rule that can be used to prove properties of data structures whose types are inductive, i.e., are carriers of initial algebras of functors. Our results are semantic in nature and are inspired by Hermida and Jacobs' elegant algebraic formulation of induction for...
| 出版年: | Logical Methods in Computer Science |
|---|---|
| 主要な著者: | , , |
| フォーマット: | 論文 |
| 言語: | 英語 |
| 出版事項: |
Logical Methods in Computer Science e.V.
2012-06-01
|
| 主題: | |
| オンライン･アクセス: | https://lmcs.episciences.org/717/pdf |