A linear conservative extension of Zermelo-Fraenkel set theory
set theory with unrestricted comprehension in full linear logic
scientific article; zbMATH DE number 910391