## Contributors * Rod Nederpelt ## References * Rod Nederpelt, weak type theory: a formal language for mathematics, [pdf](http://alexandria.tue.nl/extra1/wskrap/publichtml/200205.pdf)