[Alta-Logic] Peripatetic seminar

[Robin Cockett]

When: Wednesday August 28th, 2013
           11:00am -12:00am

Where: ICT 616

Speaker: Michael St-Jules

Title: Iteration and PCAs

Abstract:
I present my summer research under the supervision of Dr. Pieter Hofstra of
the University of Ottawa. Restriction categories and the theory of partial
combinatory algebras (PCAs) are introduced, with the goal of demonstrating
how iteration (traces on coproducts or a Kleene wand) can be computable by
a PCA. The relationship between a particular construction of PCAs from
stack objects and such iteration, and the strongly normalizing terms is
also explored.

-robin
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.ucalgary.ca/pipermail/alta-logic-l/attachments/20130827/58796951/attachment.html