IHOCL
introduction to higher-order categorical logic
#Math