- Proof Theory: elimination rule https://www.cs.uoregon.edu/research/summerschool/summer15/curriculum.html 6 comments compsci
Linking pages
- GitHub - Developer-Y/cs-video-courses: List of Computer Science courses with video lectures. https://github.com/Developer-Y/cs-video-courses 148 comments
- GitHub - aalhour/awesome-compilers: Curated list of awesome resources on Compilers, Interpreters and Runtimes https://github.com/aalhour/awesome-compilers 62 comments
- GitHub - steshaw/plt: Programming Language Theory λΠ https://github.com/steshaw/plt 35 comments
- GitHub - jozefg/learn-tt: A collection of resources for learning type theory and type theory adjacent fields. https://github.com/jozefg/learn-tt 17 comments
Would you like to stay up to date with Computer science? Checkout Computer science
Weekly.
Related searches:
Search whole site: site:cs.uoregon.edu
Search title: Oregon Programming Languages Summer School
See how to search.