Lukas' Notes
Search
Search
Dark mode
Light mode
Home
❯
Knowledge
❯
Program
Program
Oct 30, 2025
1 min read
computer-science
Graph View
Backlinks
Additive Conjunction (Linear Logic)
Additive Disjunction (Linear Logic)
Chinese Room
Co Decision Problem
Correctness Problem
Halting Problem
Multiplicative Conjunction (Linear Logic)
Operating System
Partially Correct Program
Reachable Code Problem
Semi-Decidable Decision Problem
Totally Correct Program
Type