Core Theory draft (WIP)

Jump to bottom Edit New page

hanjiexi edited this page Dec 18, 2018 · 1 revision

Core Theory

Prerequisites

Core Programming
Core Math

Resources

Introduction to Theoretical Computer Science (Boaz Barak)
Slides for Introduction to Theoretical Computer Science
Stanford Automata Theory
"A Tutorial Introduction to the Lambda Calculus" (Raul Rojas)
Talk: Propositions as Types (Philip Wadler)

Needed by

Advanced Theory

Plan de estudios ossu Interview university code