Enviar búsqueda
Cargar
Categorical Type Theory and its Uses
•
1 recomendación
•
487 vistas
Valeria de Paiva
Seguir
January 2000
Leer menos
Leer más
Denunciar
Compartir
Denunciar
Compartir
1 de 29
Descargar ahora
Descargar para leer sin conexión
Recomendados
Logics of Context and Modal Type Theories
Logics of Context and Modal Type Theories
Valeria de Paiva
Logics and Ontologies for Portuguese Understanding
Logics and Ontologies for Portuguese Understanding
Valeria de Paiva
Seeing is Correcting:Linked Open Data for Portuguese
Seeing is Correcting:Linked Open Data for Portuguese
Valeria de Paiva
Modal Type Theory
Modal Type Theory
Valeria de Paiva
Lean Logic for Lean Times: Varieties of Natural Logic
Lean Logic for Lean Times: Varieties of Natural Logic
Valeria de Paiva
Portuguese Linguistic Tools: What, Why and How
Portuguese Linguistic Tools: What, Why and How
Valeria de Paiva
How does biology explain the low numbers of women in computer science? Hint:...
How does biology explain the low numbers of women in computer science? Hint:...
Terri Oda
Functors, Comonads, and Digital Image Processing
Functors, Comonads, and Digital Image Processing
Justin Le
Recomendados
Logics of Context and Modal Type Theories
Logics of Context and Modal Type Theories
Valeria de Paiva
Logics and Ontologies for Portuguese Understanding
Logics and Ontologies for Portuguese Understanding
Valeria de Paiva
Seeing is Correcting:Linked Open Data for Portuguese
Seeing is Correcting:Linked Open Data for Portuguese
Valeria de Paiva
Modal Type Theory
Modal Type Theory
Valeria de Paiva
Lean Logic for Lean Times: Varieties of Natural Logic
Lean Logic for Lean Times: Varieties of Natural Logic
Valeria de Paiva
Portuguese Linguistic Tools: What, Why and How
Portuguese Linguistic Tools: What, Why and How
Valeria de Paiva
How does biology explain the low numbers of women in computer science? Hint:...
How does biology explain the low numbers of women in computer science? Hint:...
Terri Oda
Functors, Comonads, and Digital Image Processing
Functors, Comonads, and Digital Image Processing
Justin Le
Dialectica Comonoids
Dialectica Comonoids
Valeria de Paiva
Dialectica Categorical Constructions
Dialectica Categorical Constructions
Valeria de Paiva
Logic & Representation 2021
Logic & Representation 2021
Valeria de Paiva
Constructive Modal and Linear Logics
Constructive Modal and Linear Logics
Valeria de Paiva
Dialectica Categories Revisited
Dialectica Categories Revisited
Valeria de Paiva
PLN para Tod@s
PLN para Tod@s
Valeria de Paiva
Networked Mathematics: NLP tools for Better Science
Networked Mathematics: NLP tools for Better Science
Valeria de Paiva
Going Without: a modality and its role
Going Without: a modality and its role
Valeria de Paiva
Problemas de Kolmogorov-Veloso
Problemas de Kolmogorov-Veloso
Valeria de Paiva
Natural Language Inference: for Humans and Machines
Natural Language Inference: for Humans and Machines
Valeria de Paiva
Dialectica Petri Nets
Dialectica Petri Nets
Valeria de Paiva
The importance of Being Erneast: Open datasets in Portuguese
The importance of Being Erneast: Open datasets in Portuguese
Valeria de Paiva
Negation in the Ecumenical System
Negation in the Ecumenical System
Valeria de Paiva
Constructive Modal and Linear Logics
Constructive Modal and Linear Logics
Valeria de Paiva
Semantics and Reasoning for NLP, AI and ACT
Semantics and Reasoning for NLP, AI and ACT
Valeria de Paiva
NLCS 2013 opening slides
NLCS 2013 opening slides
Valeria de Paiva
Dialectica Comonads
Dialectica Comonads
Valeria de Paiva
Categorical Explicit Substitutions
Categorical Explicit Substitutions
Valeria de Paiva
Logic and Probabilistic Methods for Dialog
Logic and Probabilistic Methods for Dialog
Valeria de Paiva
Intuitive Semantics for Full Intuitionistic Linear Logic (2014)
Intuitive Semantics for Full Intuitionistic Linear Logic (2014)
Valeria de Paiva
Más contenido relacionado
Más de Valeria de Paiva
Dialectica Comonoids
Dialectica Comonoids
Valeria de Paiva
Dialectica Categorical Constructions
Dialectica Categorical Constructions
Valeria de Paiva
Logic & Representation 2021
Logic & Representation 2021
Valeria de Paiva
Constructive Modal and Linear Logics
Constructive Modal and Linear Logics
Valeria de Paiva
Dialectica Categories Revisited
Dialectica Categories Revisited
Valeria de Paiva
PLN para Tod@s
PLN para Tod@s
Valeria de Paiva
Networked Mathematics: NLP tools for Better Science
Networked Mathematics: NLP tools for Better Science
Valeria de Paiva
Going Without: a modality and its role
Going Without: a modality and its role
Valeria de Paiva
Problemas de Kolmogorov-Veloso
Problemas de Kolmogorov-Veloso
Valeria de Paiva
Natural Language Inference: for Humans and Machines
Natural Language Inference: for Humans and Machines
Valeria de Paiva
Dialectica Petri Nets
Dialectica Petri Nets
Valeria de Paiva
The importance of Being Erneast: Open datasets in Portuguese
The importance of Being Erneast: Open datasets in Portuguese
Valeria de Paiva
Negation in the Ecumenical System
Negation in the Ecumenical System
Valeria de Paiva
Constructive Modal and Linear Logics
Constructive Modal and Linear Logics
Valeria de Paiva
Semantics and Reasoning for NLP, AI and ACT
Semantics and Reasoning for NLP, AI and ACT
Valeria de Paiva
NLCS 2013 opening slides
NLCS 2013 opening slides
Valeria de Paiva
Dialectica Comonads
Dialectica Comonads
Valeria de Paiva
Categorical Explicit Substitutions
Categorical Explicit Substitutions
Valeria de Paiva
Logic and Probabilistic Methods for Dialog
Logic and Probabilistic Methods for Dialog
Valeria de Paiva
Intuitive Semantics for Full Intuitionistic Linear Logic (2014)
Intuitive Semantics for Full Intuitionistic Linear Logic (2014)
Valeria de Paiva
Más de Valeria de Paiva
(20)
Dialectica Comonoids
Dialectica Comonoids
Dialectica Categorical Constructions
Dialectica Categorical Constructions
Logic & Representation 2021
Logic & Representation 2021
Constructive Modal and Linear Logics
Constructive Modal and Linear Logics
Dialectica Categories Revisited
Dialectica Categories Revisited
PLN para Tod@s
PLN para Tod@s
Networked Mathematics: NLP tools for Better Science
Networked Mathematics: NLP tools for Better Science
Going Without: a modality and its role
Going Without: a modality and its role
Problemas de Kolmogorov-Veloso
Problemas de Kolmogorov-Veloso
Natural Language Inference: for Humans and Machines
Natural Language Inference: for Humans and Machines
Dialectica Petri Nets
Dialectica Petri Nets
The importance of Being Erneast: Open datasets in Portuguese
The importance of Being Erneast: Open datasets in Portuguese
Negation in the Ecumenical System
Negation in the Ecumenical System
Constructive Modal and Linear Logics
Constructive Modal and Linear Logics
Semantics and Reasoning for NLP, AI and ACT
Semantics and Reasoning for NLP, AI and ACT
NLCS 2013 opening slides
NLCS 2013 opening slides
Dialectica Comonads
Dialectica Comonads
Categorical Explicit Substitutions
Categorical Explicit Substitutions
Logic and Probabilistic Methods for Dialog
Logic and Probabilistic Methods for Dialog
Intuitive Semantics for Full Intuitionistic Linear Logic (2014)
Intuitive Semantics for Full Intuitionistic Linear Logic (2014)
Descargar ahora