. Lasha-abzianidze, Natural solution to FraCaS entailment problems, Proceedings of the Fifth Joint Conference on Lexical and Computational Semantics, pp.64-74, 2016.

J. L. Ba, J. R. Kiros, and G. E. Hin,

S. Bangalore, K. Aravind, and . Joshi, Supertagging: An approach to almost parsing, Computational linguistics, vol.25, issue.2, pp.237-265, 1999.

A. Bhargava and G. Penn, Supertagging with CCG primitives, Proceedings of the 5th Workshop on Representation Learning for NLP, pp.194-204, 2020.

G. Bouma and . Gertjan-van-noord, Increasing return on annotation investment: The automatic construction of a Universal Dependency treebank for Dutch, Proceedings of the NoDaLiDa 2017 Workshop on Universal Dependencies (UDW 2017), pp.19-26, 2017.

G. Bouma, R. Gertjan-van-noord, and . Malouf, Alpino: Wide-coverage computational analysis of dutch, Computational linguistics in the Netherlands, pp.45-59, 2000.

K. Kogkalidis, M. Moortgat, and R. Moot, Ã?thel: Automatically extracted typelogical derivations for dutch, Proceedings of The 12th Language Resources and Evaluation Conference, pp.5259-5268, 2020.

Y. Kubota and R. Levine, Type-Logical Syntax, 2020.

F. Lamarche, Proof nets for intuitionistic linear logic: Essential nets, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00347336

J. Lambek, The mathematics of sentence structure, The American Mathematical Monthly, vol.65, issue.3, pp.154-170, 1958.

Z. Li, J. Cai, S. He, and H. Zhao, Seq2seq dependency parsing, Proceedings of the 27th International Conference on Computational Linguistics, pp.3203-3214, 2018.

P. Lincoln, Deciding provability of linear logic formulas, Advances in Linear Logic, pp.109-122, 1995.

J. Liu, B. Shay, M. Cohen, and . Lapata, Discourse representation structure parsing, Proceedings of the 56th Annual Meeting of the Association for Computational Linguistics, vol.1, pp.429-439, 2018.

I. Loshchilov and F. Hutter, Fixing weight decay regularization in adam, 2018.

G. Mena, D. Belanger, S. Linderman, and J. Snoek, Learning latent permutations with Gumbel-Sinkhorn networks, International Conference on Learning Representations, 2018.

M. Moortgat, Multimodal linguistic inference, Journal of Logic, Language and Information, vol.5, issue.3/4, pp.349-385, 1996.

G. Morrill, A categorial type logic, Categories and Types in Logic, Language, and Physics -Essays Dedicated to Jim Lambek on the Occasion of His 90th Birthday, vol.8222, pp.331-352, 2014.

R. Müller, S. Kornblith, and G. E. Hinton, When does label smoothing help?, Advances in Neural Information Processing Systems, pp.4696-4705, 2019.

A. S. Murawski and C. Ong, Dominator trees and fast verification of proof nets, Logic in Computer Science, pp.181-191, 2000.

R. Muskens, Lambda grammars and the syntax-semantics interface, Proceedings of the 13th Amsterdam Colloquium, pp.150-155, 2001.

R. Muskens and M. Sadrzadeh, Static and dynamic vector semantics for lambda calculus models of natural language, Journal of Language Modelling, vol.6, issue.2, pp.319-351, 2018.

G. Gertjan-van-noord, . Bouma, D. Frank-van-eynde, and . De-kok, Jelmer van der Linde, Ineke Schuurman, Erik Tjong Kim Sang, and Vincent Vandeghinste, Essential speech and language technology for Dutch, pp.147-164, 2013.

O. Press and L. Wolf, Using the output embedding to improve language models, Proceedings of the 15th Conference of the European Chapter of the Association for Computational Linguistics, vol.2, pp.157-163, 2017.

D. Roorda, Resource Logics: Prooftheoretical Investigations, 1991.

R. Sinkhorn, A relationship between arbitrary positive matrices and doubly stochastic matrices. The annals of mathematical statistics, vol.35, pp.876-879, 1964.

M. Heine-sørensen and P. Urzyczyn, Lectures on the Curry-Howard isomorphism, 2006.

K. Swanson, L. Yu, and T. Lei, Rationalizing text matching: Learning sparse alignments via optimal transport, 2020.

Y. Tay, D. Bahri, L. Yang, D. Metzler, and D. Juan, Sparse sinkhorn attention, 2020.

A. Sjerp-troelstra and H. Schwichtenberg, Basic Proof Theory, vol.43, 2000.

A. Vaswani, Y. Bisk, K. Sagae, and R. Musa, Supertagging with lstms, Proceedings of the 2016 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, pp.232-237, 2016.

A. Vaswani, N. Shazeer, N. Parmar, J. Uszkoreit, L. Jones et al., Attention is all you need, Advances in neural information processing systems, pp.5998-6008, 2017.

A. Wietse-de-vries, A. Van-cranenburgh, T. Bisazza, . Caselli, M. Gertjan-van-noord et al., BERTje: A Dutch BERT model, 2019.

P. Wadler, A taste of linear logic, International Symposium on Mathematical Foundations of Computer Science, pp.185-210, 1993.

B. Wang, D. Zhao, C. Lioma, Q. Li, P. Zhang et al., Encoding word order in complex embeddings, International Conference on Learning Representations, 2020.

S. Wiseman and A. Rush, Sequence-to-sequence learning as beam-search optimization, Proceedings of the 2016 Conference on Empirical Methods in Natural Language Processing, pp.1296-1306, 2016.

C. Xiao, M. Dymetman, and C. Gardent, Sequence-based structured prediction for semantic parsing, Proceedings of the 54th Annual Meeting of the Association for Computational Linguistics, vol.1, pp.1341-1350, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01623762

W. Xu, M. Auli, and S. Clark, Ccg supertagging with a recurrent neural network, Proceedings of the 53rd Annual Meeting of the Association for Computational Linguistics and the 7th International Joint Conference on Natural Language Processing, vol.2, pp.250-255, 2015.

S. Luke, M. Zettlemoyer, and . Collins, Learning to map sentences to logical form: Structured classification with probabilistic categorial grammars, 2012.

S. Zhang, X. Ma, K. Duh, and B. Van-durme, AMR parsing as sequence-tograph transduction, Proceedings of the 57th Annual Meeting of the Association for Computational Linguistics, pp.80-94, 2019.

X. Zhang, J. Cheng, and M. Lapata, Dependency parsing as head selection, Proceedings of the 15th Conference of the European Chapter of the Association for Computational Linguistics, vol.1, pp.665-676, 2017.