A theory of changes for higher-order languages (2013) #1 Post by codeismath » Thu, Aug 05, 2021, 7:14 PM UTC A theory of changes for higher-order languages (2013)researchgate.net