10 citations · 16 across the 3 of their papers we have counts for
1 paper · 1 filter
Adriana Compagnoni, Healfdene Goguen
Type theories with higher-order subtyping or singleton types are examples of systems where computation rules for variables are affected by type information in the context. A compli…