Type Theory Foundations
Exploring dependent types as a foundation for mathematical reasoning. Bridging the gap between computation and proof.
理論
The Organization of Theory
A structured repository of theoretical frameworks across disciplines. Each framework is documented, cross-referenced, and maintained by its community of practitioners.
Active Frameworks
Emergent Complexity
How simple rules produce complex behavior. Modeling phase transitions in social, biological, and computational systems.
Knowledge Graphs
Mapping the structure of what we know and how we know it. Formal representations of epistemic relationships.
Entropy and Order
The mathematics of uncertainty. Quantifying information content, compression limits, and channel capacity in natural and artificial systems.
Recent Publications
2026.03On the Completeness of Bounded Verification
2026.02Categorical Semantics for Distributed Systems
2026.01Topological Methods in Data Analysis