## 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)