Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
I made an initial foray into explaining the coalgebraic aspects of recursion schemes (following Taylor) by editing well-founded relation, by including a new section “Coalgebraic formulation”. (The title is slightly awkward when it appears just after the section “Alternative formulations”; that section was on alternative formulations which are possible in classical logic, whereas this section is on a different language for presenting the intuitionistic case. Therefore I didn’t want to make it a subsection of “Alternative formulations” as currently written.)
Also some words there on the coalgebraic formulation of simulations.
Edit: I decided to rename “Alternative formulations” by “Formulations in classical logic”; I hope no one minds.
Looks good!
Thanks for adding this stuff, Todd! It looks great.
1 to 3 of 3