3 ms·
Dana Scott: Seventy Years Using Fixed Points
- 082349872349872 4y agomore specifically: https://topos.site/blog/2023/03/seventy-years-using-fixed-points/Scott_Seventy_Years_Using_Fixed_Points_Slides.pdf https://topos.site/blog/2023/03/seventy-years-using-fixed-po...