nLab Valeria de Paiva

Selected writings

On categorical semantics for (the exponential modality in) linear logic:

A natural deduction-formulation of modal logic (S4/S5) and making explicit the necessity modal operator as a comonad:

See also:

On Natural Language Inference:

  • A.-L. Kalouli, R. Crouch, Valeria de Paiva. Hy-NLI: a Hybrid system for Natural Language Inference. Proceedings of the 28th International Conference for Computational Linguistics (COLING). Barcelona - Spain (online), 01 December 2020.
category: people

Last revised on August 21, 2023 at 14:14:27. See the history of this page for a list of all contributions to it.