hybrid logics and minimalist representations (0)

by Proof-nets
Venue:In Mathematics of Languages 6