A categorical semantics for P-time

Robin Cockett (6/5/98)

While the categorical description of primitive recursive functions is well-established it has proven much more difficult to obtain good models for the sub-recursive hierarchies such as P-time. I shall describe how one can obtain a semantics for P-time in an extensive category endowed with an internal category of finite sets.

Other talks by the same speaker.
Back to titles of seminars.

---

Steve Lack

Last modified: Thu May 21 10:54:06 EST 1998