The Mechanisation of Barendregt-Style Equational Proofs (the Residual Perspective) (2001)

Cached

Download Links

by René Vestergaard , James Brotherston
Citations:7 - 4 self