Lambdica

An ontologically navigable atlas of computer science. Phase 0 — vertical slice in progress.

Entirely inspired by Algebrica. Lambdica is trying to, and hopefully will eventually be, the same atlas for a different substrate.

Concepts (4)

• Alphabet — mathematical-foundations
• Halting Problem — theory-of-computation
• String — mathematical-foundations
• Turing Machine — theory-of-computation