On the computational complexity of cut-elimination in linear logic (2003)

Cached

Download Links

by Harry G. Mairson , Kazushige Terui
Venue:In Proceedings of ICTCS 2003, volume 2841 of LNCS
Citations:8 - 0 self