This
paper was mentioned here
before, but not on the home page.
It deserves to get more attention, since it is quite cool.
Warning: This one isn't for the faint of heart, and uses scary terms like polynomial functors, initial algebras and terminal coalgebras, constructive set theory and more...
Recent comments
2 weeks 1 day ago
2 weeks 1 day ago
3 weeks 1 day ago
3 weeks 2 days ago
3 weeks 2 days ago
3 weeks 2 days ago
3 weeks 2 days ago
4 weeks 22 hours ago
4 weeks 1 day ago
4 weeks 1 day ago