Topological Completeness for Higher-Order Logic (1997)

by Steve Awodey, Carsten Butz
Venue:Journal of Symbolic Logic