a thoughtful web.
Good ideas and conversation. No ads, no tracking.   Login or Take a Tour!
comment
rob05c  ·  3407 days ago  ·  link  ·    ·  parent  ·  post: Dear Hubski, what do you want to learn?

Thanks! I bought Barendregt's The Lambda Calculus, but I haven't had time to read it. It's very dense. I do want to learn more about Type Theory, too.