Typed operational reasoning (0)

by A Pitts
Venue:Advanced Topics in Types and Programming Languages, mit-press, 2005