Predicate subtyping with predicate sets (2001)

by Joe Hurd
Venue:14th International Conference on Theorem Proving in Higher Order Logics: TPHOLs 2001
Citations:5 - 1 self