User:William Lovas
From Wikipedia, the free encyclopedia
I'm just this guy, y'know? I like type theory, logic, and mathematical philosophy. William has three brothers named Michael, John, and Timothy.
| λ | This user is fluent in Lambda calculus. |
Interaction
- This page was last modified 03:28, 11 April 2007 by Anonymous user(s) of Wikipedia. Based on work by Wikipedia user(s) William Lovas and Brighterorange.
- All text is available under the terms of the GNU Free Documentation License. (See Copyrights for details.)
Wikipedia® is a registered trademark of the Wikimedia Foundation, Inc., a U.S. registered 501(c)(3) tax-deductible nonprofit charity. - About Wikipedia
- Disclaimers