Categorical Glueing and Logical Predicates for Models of Linear Logic (1999)

Cached

Download Links

by Masahito Hasegawa
Citations:5 - 3 self