Towards a Computational Treatment of Binding Theory. - Roberto Bonato (LACL, 2005)

A Study on Learnability for Rigid Lambek Grammars - Roberto Bonato (CoRR, 2006)

An Integrated Computational Approach to Binding Theory. - Roberto Bonato (2006)

Secure and Dependable Patterns in Organizations: An Empirical Approach. - Yudistira Asnar; Paolo Giorgini; Roberto Bonato; Valentino Meduri; Carlo Riccucci (RE, 2007)

Learning Lambek Grammars from Proof Frames. - Roberto Bonato; Christian Retoré (Categories and Types in Logic, Language, and Physics, 2014)