Typed operational reasoning (2005)

by Andrew Pitts
Venue:Advanced Topics in Types and Programming Languages