Skip to main content
1 of 2
Justin Hilburn
  • 1.5k
  • 1
  • 10
  • 20

As Bjorn Kjos-Hanssen said in his answer it is difficult to give a denotational semantics for the untyped lambda calculus because if you try and make variables range over elements of some set $D$ you find that you must have $D \times D \cong D$ and $D^D \cong D$. Unfortunately this implies that $D$ is the singleton set and all lambda terms must represent the same function.

Dana Scott solved the problem of giving a denotational semantics to the untyped calculus with the invention of domain theory.

Justin Hilburn
  • 1.5k
  • 1
  • 10
  • 20