de Groote and Christian Retoré. Semantic readings of proof nets (1996)

by Philippe
Venue:Formal Grammar