DMCA

Simple nominal type theory

by James Cheney
Citations:14 - 2 self