11 citations · 37 across the 18 of their papers we have counts for
1 paper · 2 filters
Thorsten Wißmann, Stefan Milius
The initial algebra for an endofunctor F provides a recursion and induction scheme for data structures whose constructors are described by F. The initial-algebra construction by Ad…