Johan van Benthem, Language in Action: Categories, Lambdas and Dynamic Logic

David J. Israel. Johan van Benthem, Language in Action: Categories, Lambdas and Dynamic Logic. Artificial Intelligence, 63(1-2):503-510, 1993.

Abstract

Abstract is missing.