A coherent differential PCF

Thomas Ehrhard. A coherent differential PCF. Logical Methods in Computer Science, 19(4), 2023. [doi]

Abstract

Abstract is missing.