A Geometry of Interaction Machine for Gdel's System T.

Ian Mackie

Browse the full WoLLIC paper archive.