scrambled
Thoughts
Journeys
Sign in
Sign in
← back to journey
Kitchen
/
Journeys
/
Programming Language Theory
/
Flashcards
Select a deck
▶ Quiz mode
All
241 cards · 241 due
Compiler Implementation
13 cards · 13 due
Design
1 cards · 1 due
General
7 cards · 7 due
Language Theory
62 cards · 62 due
Logic Tools
11 cards · 11 due
Other Mathematics
2 cards · 2 due
Programming Language Basic
20 cards · 20 due
Proof Technique
11 cards · 11 due
Pure Lambda Calculus
45 cards · 45 due
Rocq Programming Language
34 cards · 34 due
Set Theory Relation
16 cards · 16 due
Type Theory
19 cards · 19 due