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

by René Vestergaard, James Brotherston
Venue:Electronic Notes in Theoretical Computer Science