A Notion of a Computational Step for Partial Combinatory Algebras.

Nathanael L. Ackerman, Cameron E. Freer

Browse the full TAMC paper archive.