Linear logic and the Hilbert scheme

DOI10.1017/S0960129526100450MaRDI QIDQ7228351zbMATH OpenFDO

Authors Daniel Murfet, William Anthony Troiani

Publication date 14 April 2026

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1017/S0960129526100450

zbMATH Keywords

Hilbert schemelinear logicsemantics

Mathematics Subject Classification ID

Computer science (68-XX)

Cites work

• Encodings of Turing machines in linear logic
• Glueing and orthogonality for models of linear logic
• scientific article; zbMATH DE number 193320 (Why is no real title available?)
• scientific article; zbMATH DE number 3572315 (Why is no real title available?)
• scientific article; zbMATH DE number 4123722 (Why is no real title available?)
• scientific article; zbMATH DE number 3373899 (Why is no real title available?)
• Light linear logic
• Linear logic
• On Sweedler's cofree cocommutative coalgebra.
• The differential lambda-calculus
• The Gotzmann coefficients of Hilbert functions

This page was built for publication: Linear logic and the Hilbert scheme

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7228351)