A Sequent Calculus for Nominal Logic (2004)

Cached

Download Links

by Murdoch Gabbay , James Cheney , Lix École Polytechnique
Venue:In Proc. LICS’04
Citations:22 - 10 self