scrambled
Thoughts
Journeys
Reads
Sign in
Sign in
← back to phases
Kitchen
/
Journeys
/
Programming language theory
/
Phase 3 - computability, complexity & decidability
on-hold
No content yet.
← Previous phase
Phase 2 - formal language theory & parsing
Next phase →
Phase 4 - type systems & static verification