A functorial excursion between algebraic geometry and linear logic
scientific article; zbMATH DE number 7954879
scientific article