Mathematical Base

• Type theory: The language of structure
• Category theory: Abstract patterns
• Topology: Continuous reasoning
• Logic: Truth and consequence

Computing Base

• Lambda calculus: Universal computation
• Combinatory logic: Variable-free
• Interaction nets: Parallel models
• Assembly: The metal

Philosophy

Build from bedrock. Understand the ground beneath your feet. If the foundation is solid, the structure can be ambitious.