Programming Language Theory Flashcard

What is a redex or reducible expression in church

Books

Concepts

Deckpure-lambda-calculus

Question

What is a redex or reducible expression in church's terminology?

Answer

A redex is a term of the form $t_{1} t_{2}$ such that $t_{1}$ is a lambda abstraction.