Research artifact
effective-computability.pdf
Supplement for A Model-Categorical Homotopy Theory of Effective Computability
Author: Anonymous
298,327 bytes · application/octet-stream
SHA-256: 52922070eae2e05dd6f1a7a7b9ab42fc3ea1dacb449ee5503fab6fd528c83501
Stable artifact reference: https://higher-categorical-semantics.pages.dev/artifacts/36a306939e64e13dfa2c4e855a1abd6c