Languages in actions: categories, lambdas and dynamic logic (1991)

by J Benthem
Venue:Studies in Logic, 130