2 citations · 3 across the 3 of their papers we have counts for
1 paper · 1 filter
Christian Williams, Michael Stay
Native type systems are those in which type constructors are derived from term constructors, as well as the constructors of predicate logic and intuitionistic type theory. We prese…