Skip to main content
7 events
when toggle format what by license comment
Aug 14, 2020 at 0:01 review Reopen votes
Aug 14, 2020 at 7:51
Feb 8, 2018 at 0:54 history closed Johannes Hahn
David Handelman
Pace Nielsen
Stefan Kohl
Neil Strickland
Needs details or clarity
Feb 6, 2018 at 16:09 answer added Peter May timeline score: 3
Feb 6, 2018 at 13:45 answer added David White timeline score: 1
Feb 5, 2018 at 10:33 review Close votes
Feb 8, 2018 at 0:54
Feb 4, 2018 at 16:19 comment added Denis Nardin What kind of reationship are you looking for? There are a bunch of functors between them: genuine fixed points, geometric fixed points, induction, coinduction, HHR Norm,...
Feb 4, 2018 at 14:54 history asked Megan CC BY-SA 3.0