Article Takedown/Update Request

This is an update request for the document Intuitionistic First-Order Logic: Categorical Semantics via the Curry-Howard Isomorphism by Marco Benini

Your paper was deposited in arXiv.org e-Print Archive and appears online at http://arxiv.org/abs/1307.0108
Before we are able to make any updates or deletions, you must ensure that the original record at this location is updated/removed.