Accepted papers for CPP 2012

The list of accepted papers for CPP 2012 can be found here.  The team will have two papers at this conference.

  1. Kaustuv ChaudhuriCompact Proof Certificates for Linear Logic.
  2. Beniamino AccattoliProof pearl: Abella formalization of lambda calculus cube property.