Language in action: categories, lambdas and dynamic logic (1991)

by J V Benthem
Venue:Sudies in Logic and the Foundation of Mathematics