Research artifact
higher-order-logic-in-infinity-toposes-latex.zip
Supplement for Higher-Order Logic in Infinity-Toposes
Author: Anonymous
75,319 bytes · application/zip
SHA-256: d8131a4c477fdc6d56bf89bc8b6d693ee43683920da19fb08315681c6dab033d
Stable artifact reference: https://higher-categorical-semantics.pages.dev/artifacts/a9e8cd6bcb536a2dc7903113bd65ea95