The Mechanisation of Barendregt-Style Equational Proofs (the Residual Perspective)
René Vestergaard, James BrotherstonVolume:
58
Year:
2001
Language:
english
Pages:
19
DOI:
10.1016/s1571-0661(04)00277-4
File:
PDF, 385 KB
english, 2001