@techreport{simon12appendix, author = {A. Simon}, title = {Deriving a {M}odular and {C}omplete {T}ype {I}nference for {H}indley-{M}ilner: {P}roof {A}ppendix}, year = 2012, }