On Proof Normalization in Linear Logic (1994)

Cached

Download Links

by Didier Galmiche , Guy Perrier
Venue:THEORETICAL COMPUTER SCIENCE
Citations:26 - 12 self