Language in action. Categories, Lambdas and Dynamic Logic (1991)

by J van Benthem