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.
|
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.
|