Jump to content

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.


enThis user is a native speaker of the English language.
λThis user is fluent in Lambda calculus.
Erdős 4This user has an Erdős number of 4.