Simple nominal type theory

View PDF

Download Links

by James Cheney
Citations:10 - 1 self