Lukas' Notes

Redex (Lambda Calculus)

Dec 14, 20251 min read

lambda-calculus

Definition

Redex

A redex (reducible expression) is a lambda expression that is reducible.


Graph View

Backlinks

  • Lambda Normal Form

Created with Quartz v4.4.0 © 2025

  • GitHub