A Sequent Calculus for Nominal Logic (2004)

Cached

Download Links

by Murdoch Gabbay , James Cheney
Venue:IN PROC. LICS’04
Citations:22 - 10 self