I'm a PhD student with
and Methods Group. My main interest is in category theory,
especially because of its applications to formal logic and the theory of
computation, but also because of the scope it gives for a 'structural'
approach to mathematics in general.
is Dr. Hugh
I've been an on-and-off contributor to nLab for a couple of years now. You can follow some of my
current work on my personal web there.
flawler at scss dot tcd dot ie
(01) 896 3628
- Classical Logic and the Curry-Howard Correspondence,
Report TCD-CS-2008-55, Department of Computer Science, TCD,
- Monads and Theories, Talk to FMG, January 2009.
- Monads and Continuation-Passing Style, Talk to FMG,
Based on Hatcliff & Danvy, A Generic Account of
Continuation-Passing Styles, Proc. POPL '94.
- Classical Logic and Curry-Howard, Talk to FMG, June 2007.
The bit on p. 12 about realizability is wrong: it is not true that
realizers are isomorphic to proofs.
Not an online encyclopedia, more of a public notebook, for researchers in higher category theory.
- The Catsters on
Excellent mini-lectures on basic category theory, by Eugenia Cheng
and Simon Willerton.
- Theory and Applications of
High-quality open journal. Also reprints of
some classic works in category theory by Lawvere, Kelly and others.
- John Baez's home page
The net's largest niftiness mine.
Today I'd like to talk about the history of the Earth, and then
say a bit about locally compact abelian groups. But first, a few more
words about Enceladus.
- The n-Category
Group blog on higher category theory and other abstract nonsense.
- The GNU Project
Making proprietary software obsolete.
- Debian GNU/Linux
I run Debian at home.
- Some notes on window managers that I have
- Simple Haskell code (GPLv3) for working with prime numbers,
factorizations, etc. Based on Melissa O'Neill's now well-known JFP
paper. Requires the
Data.Heap module. Efficiency etc. not
WebAdmin @ cs.tcd.ie