Research artifact
paired-tensor-semantics.pdf
Supplement for A Forward-Pullback Tensor Language: Architecture-Relative Completeness and Homotopical Contracts
Author: Anonymous author
373,388 bytes · application/octet-stream
SHA-256: d18cfc2c5861815bfc6fa9544c07cdf75cad5c545104e3a70d7f3c90e18902e5
Stable artifact reference: https://higher-categorical-semantics.pages.dev/artifacts/964fa5be4e6f7728097596ebc6b4dc92