Kostel-Rosser teorém

Kostel-Rosser teorém řekne to, v lambda počtu, termín má u nejvíce jedna normální forma. Specificky, jestliže dvě různé redukce termínu oba končí normálními formami, pak dvě normální formy budou totožné. To je kostel-Rosser teorém, který ospravedlní odkazy k” normální forma” jistého termínu.

Teorém byl objeven v 1937 Alonzo kostelem a J. Barkley Rosser.

Viz též lambda počet.