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
3 hours 58 min ago
3 hours 58 min ago
17 hours 4 min ago
19 hours 23 min ago
20 hours 41 min ago
1 day 7 hours ago
1 day 17 hours ago
2 days 6 hours ago
2 days 8 hours ago
2 days 17 hours ago