Syntactic Multicategories and Categorical Combinators for Linear Logic (1993)

Cached

Download Links

by Eike Ritter , Valeria Paiva
Citations:1 - 1 self