## Contributors * Rod Nederpelt * Fairouz Kamareddine ## References * Rod Nederpelt, weak type theory: a formal language for mathematics, [pdf](http://alexandria.tue.nl/extra1/wskrap/publichtml/200205.pdf) * EPSRC project- Theoretical and Implementation advantages of a new lambda notation, [web](http://www.cedar-forest.org/forest/projects/AdvNewLamNot.html) * Yves Bertot, Pierre Castéran, Le Coq' Art, 2011, [pdf](http://www.labri.fr/perso/casteran/CoqArt/coqartF.pdf) * Coq manual, [web](http://coq.inria.fr/doc/toc.html) * Coq tutorial, [web](http://coq.inria.fr/V8.1/tutorial.html) * [[type theory]]