User loginNavigation 
Fixed points considered harmfulFixed points have been an important topic ever since Church invented the lambda calculus in the early 1930s. However, the existence of fixed points has unfortunate consequences: Fortunately, types intuitively preclude the existence of fixed points, e.g., By Hewitt at 20150607 14:55  LtU Forum  previous forum topic  next forum topic  other blogs  27983 reads

Browse archivesActive forum topics 
Recent comments
3 hours 32 min ago
7 hours 59 min ago
10 hours 1 min ago
12 hours 48 min ago
13 hours 11 min ago
13 hours 54 min ago
14 hours 50 min ago
14 hours 52 min ago
15 hours 25 min ago
16 hours 50 min ago