Skip to main content

All Questions

Filter by
Sorted by
Tagged with
10 votes
2 answers
2k views

Scott on the consistency of the lambda calculus

I have twice heard it attributed to Dana Scott that he said something to the effect that the consistency of the lambda-calculus was an accident. Does anyone have a reasonable-sounding source for this?...
Charles Stewart's user avatar