Benedikt Ahrens, Peter LeFanu Lumsdaine, Paige Randall North. Comparing Semantic Frameworks for Dependently-Sorted Algebraic Theories. In Oleg Kiselyov, editor, Programming Languages and Systems - 22nd Asian Symposium, APLAS 2024, Kyoto, Japan, October 22-24, 2024, Proceedings. Volume 15194 of Lecture Notes in Computer Science, pages 3-22, Springer, 2024. [doi]
Abstract is missing.