David J. Israel. Johan van Benthem, Language in Action: Categories, Lambdas and Dynamic Logic. Artificial Intelligence, 63(1-2):503-510, 1993.
@article{Israel93,
title = {Johan van Benthem, Language in Action: Categories, Lambdas and Dynamic Logic},
author = {David J. Israel},
year = {1993},
tags = {logic},
researchr = {https://researchr.org/publication/Israel93},
cites = {0},
citedby = {0},
journal = {Artificial Intelligence},
volume = {63},
number = {1-2},
pages = {503-510},
}