1. (100%) Higher-Order Equational Logic - Christian Prehofer,Tu Munchen,Contributions From Tobias Nipkow,C. Prehofer,Higher-order Equational Logic
Higher-Order Equational Logic 5 Notation and Basic Definitions Variable Conventions ffl F; G; H;X ... Higher-Order Equational Logic 6 Conversions in -Calculus ff-conversion: x:t = ff y:(t[x 7! y]) fi
(ps) - 31-mar-2009