Function definition in higher order logic (1996)

by K Slind
Venue:Theorem Proving in Higher Order Logics (TPHOLS’96), volume 1125 of LNCS