Sciweavers

LICS
1987
IEEE

A Framework for Defining Logics

13 years 7 months ago
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 of a typed -calculus with dependent types. Syntax is treated in a style similar to, but more general than, Martin-L
Robert Harper, Furio Honsell, Gordon D. Plotkin
Added 28 Aug 2010
Updated 28 Aug 2010
Type Conference
Year 1987
Where LICS
Authors Robert Harper, Furio Honsell, Gordon D. Plotkin
Comments (0)