Report - A Cubical Type Theory - Chalmerscoquand/cork.pdf · A Cubical Type Theory Alonzo Church and the Axiom of extensionality A formulation of the simple theory of types (1940) Two forms

Please pass captcha verification before submit form