Computer Science – Logic in Computer Science
Scientific paper
2003-06-27
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.
No associations
LandOfFree
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.
Profile ID: LFWR-SCP-O-335200