V-comprehensions and P space

DOI10.1007/3-540-60164-3_29MaRDI QIDQ5057477zbMATH OpenOpenAlexFDO

Authors J. R. Jun. Otto

Publication date 16 December 2022

Published in Category Theory and Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-60164-3_29

Mathematics Subject Classification ID

Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15) Categorical logic, topoi (03G30) Abstract and axiomatic computability and recursion theory (03D75)

Recommendations

• Characterizing PSPACE with pointers
• scientific article; zbMATH DE number 2006637
• An Application of Category-Theoretic Semantics to the Characterisation of Complexity Classes Using Higher-Order Function Algebras
• scientific article; zbMATH DE number 1018349
• Functions computable in polynomial space

Cites work

• scientific article; zbMATH DE number 3959364 (Why is no real title available?)
• scientific article; zbMATH DE number 192916 (Why is no real title available?)
• scientific article; zbMATH DE number 517051 (Why is no real title available?)
• scientific article; zbMATH DE number 2079048 (Why is no real title available?)
• scientific article; zbMATH DE number 806752 (Why is no real title available?)
• scientific article; zbMATH DE number 822489 (Why is no real title available?)
• scientific article; zbMATH DE number 3305097 (Why is no real title available?)
• scientific article; zbMATH DE number 3370546 (Why is no real title available?)
• A new recursion-theoretic characterization of the polytime functions
• Cartesian categories with natural numbers object
• Classes of Predictably Computable Functions
• Elementary observations on 2-categorical limits
• Subrecursiveness: Machine-independent notions of computability in restricted time and storage

This page was built for publication: V-comprehensions and P space

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