Function definition in higher order logic (1996)

by Konrad Slind
Venue:Theorem Proving in Higher Order Logics: TPHOLs ’96, volume 1125 of Lecture Notes in Computer Science