A theory of changes for higher-order languages (2013)(researchgate.net)

https://www.researchgate.net/publication/269126515_A_theory_of_changes_for_higher-order_languages