6 citations · 7 across the 2 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…