Bob Atkey


My name is Robert Atkey, though most people pronounce the first part “Bob”.

I am interested in programming languages, type theory, category theory and logic, particularly non-classical logics.


Twitter: @bentnib

Recent Blog Posts

See also the index of all blog posts.

[RSS Icon] RSS Feed .

Publications and Other Documents

My publications and other documents are available online. See also DBLP .