Coordination and Applicative Categorial Type Logic

Ismaïl Biskri, Jean-Pierre Desclés, Boucif Amar Bensaber. Coordination and Applicative Categorial Type Logic. International Journal on Artificial Intelligence Tools, 15(6):1007-1020, 2006. [doi]

Abstract

Abstract is missing.