A Survey on Lawvere's Fixed-Point Theorem (2025)

2 points | by measurablefunc 9 hours ago