A Simpler Proof Theory for Nominal Logic (2005)

Cached

Download Links

by James Cheney
Venue:In FOSSACS 2005, number 3441 in LNCS
Citations:20 - 10 self