13 citations · 18 across the 6 of their papers we have counts for
Showing 2013Show all
2 papers · 1 filter
cs.LO2013
Towards Extracting Explicit Proofs from Totality Checking in Twelf
Yuting Wang, Gopalan Nadathur
The Edinburgh Logical Framework (LF) is a dependently type lambda calculus that can be used to encode formal systems. The versatility of LF allows specifications to be constructed…
cs.LO2013★ 13 cited
Reasoning About Higher-Order Relational Specifications
Yuting Wang, Kaustuv Chaudhuri, Andrew Gacek +1
The logic of hereditary Harrop formulas (HH) has proven useful for specifying a wide range of formal systems. This logic includes a form of hypothetical judgment that leads to dyna…