A Comprehensive Analysis of Operational Logical Relations in Programming Language Semantics

The author explores the unification of operational logical relations through fibrations, providing a common framework for various languages and introducing differential logical relations. This approach aims to establish a solid mathematical foundation for understanding program behaviors.