1 citations · 1 across the 4 of their papers we have counts for
1 paper · 1 filter
Andrew Gacek, Dale Miller, Gopalan Nadathur
Many semantical aspects of programming languages, such as their operational semantics and their type assignment calculi, are specified by describing appropriate proof systems. Rece…