Distributive Computability

Details Distributive Computability Distributive Computability

2003-06-27

arxiv.org/abs/cs/0306136v1

Computer Science

Logic in Computer Science

Scientific paper

This thesis presents a series of theoretical results and practical realisations about the theory of computation in distributive categories. Distributive categories have been proposed as a foundational tool for Computer Science in the last years, starting from the papers of R.F.C. Walters. We shall focus on two major topics: distributive computability, i.e., a generalized theory of computability based on distributive categories, and the Imp(G) language, which is a language based on the syntax of distributive categories. The link between the former and the latter is that the functions computed by Imp(G) programs are exactly the distributively computable functions.

Affiliated with

Also associated with

No associations

Rating

Distributive Computability does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Distributive Computability, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Distributive Computability will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-335200