Documentation

Comprehensive guides and formal specifications for the εεΡΑ.λς λ-calculus research platform.

Formal overview of εεΡΑ.λς principles and research objectives.

λ-calculus, combinatory logic, and type-theoretic formalizations.

Verified properties of the system including Church-Rosser theorem and type soundness.

Cryptographically secure implementations using λ-calculus semantics.

This project is open-source and released under a BSD-style license. See the full terms and conditions: