Spahn
categorical logic and type theory (history)

February 19, 2013