TY - RPRT TI - Linear Logic and the Hilbert Scheme AU - William Troiani AU - Daniel Murfet PY - 2025 DO - 10.1017/s0960129526100450 UR - https://arxiv.org/abs/2502.08911 ID - 2502.08911 ER -