A Conversation Between Jonathan Gorard and Stephen Wolfram (September 1, 2023)
The Stephen Wolfram Podcast
00:00
Relationship between Confluence, Normalization, and Strong Normalization
This chapter explores the relationship between confluence, normalization, and strong normalization in combinatorial logic. It discusses the concepts of local confluence and strong confluence, as well as Newman's lemma. It also defines strong normalization and its implications.
Transcript
Play full episode
