Higher Order Semantics and Extensionality (0)

by C Benzmüller, C E Brown, M Kohlhase
Venue:Journal of Symbolic Logic