Callum Rogers

116 reputation

I am a student at Keble College, Oxford studying Computer Science; I have worked at GrouPay, SkimLinks and Palantir Technologies last Summer, where I expect to continue being employed for the future.

Interests: Compilers, Interpreters, Emulators, Game Development and Graphics

Languages: C#, Ruby on Rails, Haskell, Java, Javascript, F#, (Iron)Python, Regular Expressions, Z80 assembly and more...

Take a look at my GitHub account if you are interested.

	116 reputation	bio	website	callumr.com	visits	member for	1 year
4 badges		location	London, United Kingdom		seen	Nov 13 '12 at 15:07

1 Question

votes activity newest

3	Are two terms where one is without a $\lambda\beta$ normal form unconvertible in $\lambda\beta$?

+15	Are two terms where one is without a $\lambda\beta$ normal form unconvertible in $\lambda\beta$?

votes activity newest

This user has not answered any questions

0 lambda-calculus	0 terminology
0 logic

recent class name

Student	Supporter
Editor	Autobiographer

active offered earned

This user has no active bounties

all time			by type
5	up		1	question
0	down		4	answer