Literature/fpottier-alphacaml.pdf
author Cezary Kaliszyk <kaliszyk@in.tum.de>
Thu, 25 Nov 2010 15:06:45 +0900
changeset 2578 64abcfddb0c1
parent 1812 2e849bc2163a
permissions -rw-r--r--
foo2 strong induction

(binary:application/pdf)