About ProofsRPrograms

Professor Emeritus. Curry-Howard, Propositions as types, Proofs as Programs. Taking baby steps in sheaves and topos theory.

Lists

Timeline

jlcaldwell2 has no activity yet