ºÝºÝߣ

linear logic nlp dialectica categories logic portuguese categorical models modal logic type theory gender gap computational semantics category theory ai relevant logic intuitionistic logic fill nli lexical resources mathematics petri nets constructivism linear functional programming constructive modal logic women in cs sick-rte lambek calculus benchmarks wordnet artificial intelligence ontology proof theory categorical logic natural language inference openwordnet-pt knowledge representation modalities dialectica construction rewriting modal type theory parc fibrations textual inference categories linear lambda-calculus constructive logic textual_entailment maude linked data lexicon entailment ecd lean logic lean logic entailment natural logic lics stem women mentoring sumo universal_deps bobrow curry-howard algorithms ai_pioneer pargram question-answer dialectica intuitionistic modal context relevance search logic of contexts textual logic start-up life search engine cuil glue semantics set theory kr natural logic contexts game semantics construct natural numbers object categori linear types openwn-pt lexical semantics dialectica_categories nearly countable cardinals set_theory programs proofs nlu quantifiers 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 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 artigos matematica dialectica spaces kleene theorems mulheres ±ôó²µ¾±³¦²¹ 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 silicon valley 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