3 citations · 7 across the 7 of their papers we have counts for
1 paper · 1 filter
Mary Southern, Gopalan Nadathur
We describe the development of a logic for reasoning about specifications in the Edinburgh Logical Framework (LF). In this logic, typing judgments in LF serve as atomic formulas, a…