A Simpler Proof Theory for Nominal Logic (2005)

View PDF

Download Links

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