The mechanisation of Barendregt-style equational proofs (the residual perspective (0)

by René Vestergaard, James Brotherston
Venue:In Proceedings of MERLIN-1, 2001. Collocated with IJCAR’01