User:Chrisamaphone

From Wikipedia, the free encyclopedia

I am an undergraduate student in computer science at Carnegie Mellon University. In the domain of computer science, I am mainly interested in logic and type theory.

λ This user is fluent in Lambda calculus. gk This user is a geek. CMU This user attends or attended Carnegie Mellon University. INTP This user's MBTI type is INTP. This user contributes using Debian GNU/Linux. Erdős 5 This user has an Erdős number of 5