@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,
}