125
Voted
MSCS
2000
15 years 27 days ago
2000
This paper introduces a Hilbert system for lambda calculus called sequent combinators. Sequent combinators address many of the problems of Hilbert systems, which have led to the m...
103
Voted
CADE
1998
Springer
15 years 5 months ago
1998
Springer
Proceedings of CADE-15, LNAI 1421, pp. 205