type theory
Home
PhD Thesis
Publications
Code
2017-10-08T22:27:03Z
:
Taking Propositions as Types Seriously
2015-02-22T23:31:25Z
:
Parallel Evaluation of the Typed Lambda Calculus
2006-12-11T20:35:00Z
:
Full Disclosure
2006-09-19T08:48:00Z
:
Y Combinator in Haskell
2006-04-30T11:16:00Z
:
Length of Proofs
2006-03-14T17:05:00Z
:
Recent Knowledge
2006-03-10T20:36:00Z
:
TFP 2006
2005-06-04T14:38:00Z
:
Intensional vs Extensional Choice
2005-02-25T21:14:00Z
:
Non-homogeneous Inductive Types
2005-02-24T21:15:00Z
:
The True Name of Mathematical Objects
2004-08-14T18:43:00Z
:
My Laptop is Working Again
2004-06-16T00:53:00Z
:
Excluded Middle Almost Reasonable.
2004-05-09T10:17:00Z
:
ZF still consistent
2003-12-02T03:22:00Z
:
Equal Sign Considered Harmful
2003-09-10T05:42:00Z
:
Algebra
2003-09-03T20:12:00Z
:
Groups
2003-07-29T01:44:00Z
:
I’m dumb
Russell O’Connor
:
contact me