Back to Results
First PageMeta Content
Type 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 LAMA
Add to Reading List

Document Date: 2007-07-02 08:10:34


Open Document

File Size: 534,07 KB

Share Result on Facebook