computerscience

A category of computable functions with runtime

math computerscience