1 citations · 1 across the 1 of their papers we have counts for
1 paper
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…