Function de in higher order logic (1996)

by K Slind
Venue:Proc. Intl. Conf. on Theorem Proving in Higher Order Logics (TPHOLS), Lecture Notes in Computer Science