First Page | Document Content | |
---|---|---|
Date: 2007-07-02 08:10:34Type theory Theoretical computer science Mathematical logic Programming language theory Lambda calculus Formal methods Logic in computer science CurryHoward correspondence HindleyMilner type system Simply typed lambda calculus Type system Proof assistant | PML : A new proof assistant and deduction system Christophe Raffalli LAMAAdd to Reading ListSource URL: www.lama.univ-savoie.frDownload Document from Source WebsiteFile Size: 534,07 KBShare Document on Facebook |