There's a discussion of this paper at LtU - http://lambda-the-ultimate.org/node/5453 http://lambda-the-ultimate.org/node/5453 - which Bob Atkey, the author, is

There's a discussion of this paper at LtU - http://lambda-the-ultimate.org/node/5453 http://lambda-the-ultimate.org/node/5453 - which Bob Atkey, the author, is following.