Formalised Cut Admissibility for Display Logic (2002)

Cached

Download Links

by Jeremy E. Dawson , Rajeev Goré
Venue:In Proc. TPHOLS'02, LNCS 2410, 131--147
Citations:6 - 3 self