Concepedia
Publication | Closed Access
Structural Induction and Coinduction in a Fibrational Setting
190
Citations
34
References
1998
Year
Inductive ReasoningAlgebraic CombinatoricsUniversal AlgebraStructural Induction
Page 1