8 citations · 22 across the 7 of their papers we have counts for
1 paper · 1 filter
Robin Adams, Zhaohui Luo
A logic-enriched type theory (LTT) is a type theory extended with a primitive mechanism for forming and proving propositions. We construct two LTTs, named LTTO and LTTO*, which we…