V-comprehensions and P space

DOI10.1007/3-540-60164-3_29zbMath1502.03011OpenAlexW1580349859MaRDI QIDQ5057477

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

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

Cites Work

• 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
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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