How to prove that untyped $\lambda$ and simply typed $\lambda$ are of diferent expressive powers, using category theory?
I'm just getting to grips with the basic ideas of category theory, and I'm interested in this area of CS...
How to prove that untyped $\lambda$ and simply typed $\lambda$ are of diferent expressive powers, using category theory?
I'm just getting to grips with the basic ideas of category theory, and I'm interested in this area of CS...