A note on logical relations between semantics and syntax (1997)

by A M Pitts
Venue:Logic Journal of the Interest Group in Pure and Applied Logics