Lourdes Del Carmen González-Huesca. Incrementality and effect simulation in the simply typed lambda calculus. (Incrémentalité et simulation d'effets dans le lambda calcul simplement typé). PhD thesis, Paris Diderot University, France, 2015. [doi]
Abstract is missing.