Abstract

We consider a general notion of computation on arbitrary sets, where every element of the set acts as ``program'', but also as ``input''. We have a partial function, ``the application'', that sends a pair (x,y) to an element x.y. Think of this element as the result of applying program x
... read more