I already made an explicit exception for dependent type theory: *>Yes, in some c...

		swatow on Jan 18, 2015 \| parent \| context \| favorite \| on: The Unreasonable Effectiveness of Mathematics (198... I already made an explicit exception for dependent type theory: >Yes, in some cases deep math is applicable to CS, e.g. dependent type theory Homotopy type theory is an extension/variation of dependent type theory.