48 citations · 174 across the 34 of their papers we have counts for
1 paper · 2 filters
William Blum, C. -H. Luke Ong
Safety is a syntactic condition of higher-order grammars that constrains occurrences of variables in the production rules according to their type-theoretic order. In this paper, we…