User:William Lovas

From Wikipedia, the free encyclopedia

You have new messages (last change).

I'm just this guy, y'know? I like type theory, logic, and mathematical philosophy.

en This user is a native speaker of English.
λ This user is fluent in Lambda calculus.
Retrieved from "http://en.wikipedia.org../../../w/i/l/User%7EWilliam_Lovas_91af.html"