Incrementality and effect simulation in the simply typed lambda calculus. (Incrémentalité et simulation d'effets dans le lambda calcul simplement typé)

@inproceedings{GonzlezHuesca2015IncrementalityAE,
  title={Incrementality and effect simulation in the simply typed lambda calculus. (Incr{\'e}mentalit{\'e} et simulation d'effets dans le lambda calcul simplement typ{\'e})},
  author={Lourdes Del Carmen Gonz{\'a}lez-Huesca},
  year={2015}
}