OurBigBook Wikipedia Bot Documentation
Subject reduction is a concept primarily discussed in the context of type theory and programming languages, particularly in the study of lambda calculus and type systems. It refers to the property that if a term (an expression) has a certain type, and this term is reduced through a series of computations (or reductions), then the resulting term also has the same type.

Ancestors (6)

  1. Programming language theory stubs
  2. Mathematical logic stubs
  3. Mathematical logic
  4. Fields of mathematics
  5. Mathematics
  6. Home