141
Voted
LICS
1987
IEEE
15 years 11 months ago
1987
IEEE
162
click to vote
LICS
1987
IEEE
15 years 11 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 ...
116
Voted
LICS
1987
IEEE
15 years 11 months ago
1987
IEEE
116
Voted
LICS
1987
IEEE
15 years 11 months ago
1987
IEEE
