Twan van Laarhoven

• Me
• Publications
• Software
• Blog

Posts tagged 'ttie'

• Date: 2018-01-04
  Tags: hott, ttie
  0 comments
  Type theory with indexed equality - the theoryThe theory behind TTIE
• Date: 2017-04-06
  Tags: hott, ttie
  3 comments
  A type theory based on indexed equality - ImplementationThe TTIE language