Structural Cut Elimination in Linear Logic (1994)

Cached

Download Links

by Frank Pfenning
Citations:39 - 16 self