About Christina O'Donnell

Computer Science MSc student and Oxford graduate based in the UK. Interested in type theory and functional programming, with a passing curiosity in category theory. I am particularly interested in the symmetric graphical representations of expressions with bound variables.

Lists

Timeline

octocurious has no activity yet