Sciweavers

71
Voted
LPAR
1999
Springer
15 years 1 months ago
Proofs About Lists Using Ellipsis
In this paper we explore the use of ellipsis in proofs about lists. We present a higher-order formulation of elliptic formulae, and describe its implementation in the λClam proof ...
Alan Bundy, Julian Richardson