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...
Sign up using Google
Sign up using Facebook
Sign up using Stack Exchange
By posting your answer, you agree to the
terms of service.
1 year ago