article · 1993
A framework for defining logics
The Edinburgh Logical Framework (LF) provides a means to define (or present) logics. It is based on a general treatment of syntax, rules, and proofs by means...
195 citationsDOI: https://doi.org/10.1145/138027.138060Open accessPDF reported by metadataFull text reported by metadata