@techreport{pogodalla:inria-00072775, TITLE = {{Generation with Semantic Proof Nets}}, AUTHOR = {Pogodalla, Sylvain}, URL = {https://inria.hal.science/inria-00072775}, TYPE = {Research Report}, NUMBER = {RR-3878}, PAGES = {25}, INSTITUTION = {{INRIA}}, YEAR = {2000}, KEYWORDS = {lambek calculus ; generation ; linear logic ; proof nets}, PDF = {https://inria.hal.science/inria-00072775/file/RR-3878.pdf}, HAL_ID = {inria-00072775}, HAL_VERSION = {v1}, }