Archive
Check out: Geometry of interaction, linear logic aspects of proof theory with applications to PLT
