4 search results - page 1 / 1 » lics 1987 |
110
Voted
LICS
1987
IEEE
15 years 10 months ago
1987
IEEE
108
Voted
LICS
1987
IEEE
15 years 10 months ago
1987
IEEE
144
click to vote
LICS
1987
IEEE
15 years 10 months ago
1987
IEEE
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 ...