Valeria de Paiva

linear logic logic dialectica categories nlp portuguese categorical models type theory modal logic ai computational semantics gender gap category theory nli mathematics intuitionistic logic petri nets relevant logic lexical resources fill dialectica construction modalities linear functional programming constructivism benchmarks proof theory natural language inference artificial intelligence women in cs modal type theory linear lambda-calculus textual inference rewriting textual_entailment sick-rte lambek calculus wordnet ontology openwordnet-pt categorical logic constructive modal logic parc constructive logic categories fibrations knowledge representation comonoids hyperdoctrines logic in computer science logic presentations proof mining goedel ontologies symbolic ai linear implication linear type theory modality cbday logica problemas kolmogorov-veloso machine learning concurrency ecumenical system classical logic intuitionistic modal logic silicon valley comonads pl semantics probabilistic methods logic methods dialog dialogue games theory of problems frameworks usp computing for women science communication combinators constructive mathematics co-free comonad explicity substitutions categorias dialÈcticas logica linear categorias anti-racismo inequality neural nets automated reasoning mobility collaboration iot applied category theory lambdai categorical proof theory act hybrid methods gkr meaning representations distributional semantics gender issues artigos matematica dialectica spaces kleene theorems mulheres lógica women in logic women in tech proof theoretic semantics fibrational models dialectica models ilt logic in cs logic flow logical dependencies contradictions logic_from_language kiml maude lics stem women mentoring curry-howard algorithms ai_pioneer bobrow universal_deps sumo lean logic entailment natural logic entailment ecd lean logic lexicon linked data quantifiers nlu proofs programs set_theory nearly countable cardinals dialectica_categories lexical semantics openwn-pt linear types categori natural numbers object construct game semantics contexts natural logic kr set theory glue semantics cuil search engine start-up life textual logic logic of contexts search relevance context modal intuitionistic dialectica question-answer pargram