[TYPES] FInCo 2005: FOUNDATIONS OF INTERACTIVE COMPUTATION -- CFP

[David Hopwood]

Martin Berger wrote:
> [The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list]
> 
>> Maybe I can put it this way -- TMs, lambda - calculus, etc. are
>> all at heart about the mathematical concept of function. Functions
>> -- basically the computable ones, higher-order, whatever -- are what 
>> we agree we are talking about. But what mathematical concept do 
>> process calculi, ambients, etc.  embody? In my opinion, the best 
>> reponse to this has been the mathematical  concept of ``game''. That 
>> gets at some aspects of interaction, but I'm not sure it's everything.
> 
> i'm not sure i can agree that TMs, lambda calculi and the like are just 
> about computable functions. it's the other way round: computable functions
> are what we agree these models have in common. to see that the computed 
> functions may be insufficient even in the classical sequential case, let's
> look at two examples: [...]

See <http://c2.com/cgi/wiki?ModelsOfComputation> for similar arguments along
these lines.

-- 
David Hopwood <david.nospam.hopwood at blueyonder.co.uk>