3 citations · 7 across the 7 of their papers we have counts for
1 paper · 1 filter
Mary Southern, Gopalan Nadathur
Dependently typed lambda calculi such as the Edinburgh Logical Framework (LF) are a popular means for encoding rule-based specifications concerning formal syntactic objects. In the…