プログラム言語の表示的意味論の分野では、再帰的定義の意味論を構築するために、クナスター・タルスキーの定理のある特別な場合を用いている。
在程序语言的指称语义，一个克纳斯特－塔斯基定理的特例用于建立递归定义的语义。