6 citations · 7 across the 2 of their papers we have counts for
1 paper · 1 filter
Yangyue Feng, Zhaohui Luo
Typed operational semantics is a method developed by H. Goguen to prove meta-theoretic properties of type systems. This paper studies the metatheory of a type system with dependent…