Information Propagation and Contraction in Functional Interpretations

Chuangjie Xu

This paper separates two components of functional interpretations: affine information propagation and contraction. We introduce information nuclei as an algebraic interface to capt…