wiki.λρη

Explore Articles

Dive into over 100 curated articles covering mathematical concepts, computational theory, and philosophical explorations.

Featured Articles

View All →
λ

Lambda Calculus Foundations

Explore the roots of functional programming and computation theory through alpha/beta/eta reductions.

Read →
π

Pi Calculus and Concurrency

Understand parallel computation paradigms through process interaction models and communication theory.

Read →

Limits and Computability

Explore Gödel's incompleteness theorems and Turing machines from a modern computational lens.

Read →

Discover by Category

Recent Contributions

CATEGORY

Quantum Entanglement in Type Systems

An exploration of category and type theories from the perspective of quantum mechanics frameworks.

Published by Γεράσιμος Διονύσιος 5 hours ago
CATEGORY

Monoidal Categories and Neural Networks

A modern synthesis of mathematical structures and deep learning model architectures.

Published by Γεράσιμος Είδος 12 hours ago