[Alta-Logic] Peripatetic seminar: Wednesday

[Robin Cockett]

Speaker: Robin Cockett

Where and when: ICT 616, Wednesday, 23rd March, 3:30pm
Title: On the Totals of a Turing Category (cont.)

Abstract:
A Turing category is an abstract setting for describing computability.
I put the following question to Pavel (Hrubes):
       "Can the polynomial time functions be the totals of a Turing 
category?"
Pavel responded by making some interesting general observation about the 
totals of a Turing category which
have allowed a completely characterization of the (Cartesian) categories 
which can be the total maps
of a Turing category ....  and not only are the polynomial time maps 
included but possibly also
classes of even lower complexity.

(Joint work with Pavel Hrubes)

The aim of THIS talk is to take a look at some of the proofs.  As Pavel 
is now back from Isreal it allow him to see how I have reorganize his 
material.

ALSO we are looking for speakers!