Typed operational reasoning (2004)

Cached

Download Links

by Andrew Pitts
Citations:37 - 3 self