Simple nominal type theory

Cached

Download Links

by James Cheney
Citations:8 - 1 self