Skip to content
scrambled
Programming Language Theory Concept

Principle of lexicographic induction

Books JourneyProgramming Language Theory Statusmastered Tags
  • order lattice theory
  • proof reason technique
  • set theory relation

A proof technique using Lexicographic order on tuples of measures, allowing induction where each recursive step decreases the tuple lexicographically - any component may increase if an earlier component strictly decreases.