Typed operational reasoning (2005)

by Andrew M Pitts
Venue:Advanced Topics in Types and Programming Languages, chapter 7