Literature/fpottier-alphacaml.pdf
author Christian Urban <urbanc@in.tum.de>
Thu, 15 Apr 2010 21:56:03 +0200 (2010-04-15)
changeset 1860 d3fe17786640
parent 1812 2e849bc2163a
permissions -rw-r--r--
some tuning of proofs
(binary:application/pdf)