search

steshaw / plt

Programming Language Theory λΠ
https://steshaw.org/plt/
5.24k stars 338 forks source link

I have some useful links on topics related to programming languages.. #59

Closed Francesco601 closed 1 year ago

Francesco601 commented 1 year ago

https://plato.stanford.edu/index.html

Francesco601 commented 1 year ago

I have a few others, Let me know if you are interested

steshaw commented 1 year ago

I don't want to add a general link to the Stanford Encyclopedia of Philosophy, but one article I like there is Type Theory by Thierry Coquand. I thought it was in the collection already, but it doesn't seem to be. Feel free to raise a PR to add that one.

If you have other good resources, please share!

Francesco601 commented 1 year ago

Oh, I'm sorry. I gave the wrong link for some reason..https://plato.stanford.edu/entries/lambda-calculus/