Reasoning via Semantic Transformations

Explore a thought-provoking 26-minute conference talk presented at LAFI'24, focusing on the concept of reasoning through semantic transformations. Delve into advanced topics in programming language theory and formal methods as the speaker discusses innovative approaches to logical reasoning and problem-solving. Gain insights into how semantic transformations can be applied to enhance reasoning processes and potentially revolutionize computational thinking.