Report - Towards an Internalization of the Groupoid Model of Type ...sozeau/research/publications/drafts/groupoidint.pdfthe groupoid model actually requires to reason at a 2-dimensional level.

Please pass captcha verification before submit form