Church-Rosser proof for CCL Post date September 14, 2024 Post author By Remo Dentato Post categories In ai, concatenative, o1, Theory