17 citations · 20 across the 7 of their papers we have counts for
1 paper · 2 filters
Elaine Pimentel, Enrico Tassi
Logical frameworks and meta-languages form a common substrate for representing, implementing and reasoning about a wide variety of deductive systems of interest in logic and comput…