valeria-de-paiva documents

To Infinite Possibilities and Beyond
Technology To Infinite Possibilities and Beyond
Context Inducing Nouns
Technology Context Inducing Nouns
Partial Compilers
Technology Partial Compilers
Constructive Hybrid Logics
Technology Constructive Hybrid Logics
Little engines of inference: contexts for quantification
Technology Little engines of inference: contexts for quantification
A Bridge Not too Far
Technology A Bridge Not too Far
Lorenzen
Technology Lorenzen
Basic Constructiv Modality
Technology Basic Constructiv Modality
Fun with Constructive Modalities
Technology Fun with Constructive Modalities
Natural Number Objects in Dialectica Categories
Technology Natural Number Objects in Dialectica Categories
Dialectica Categories... and Lax Topological Spaces?
Education Dialectica Categories... and Lax Topological Spaces?
Dialectica Categories Surprising Application: mapping cardinal invariants
Technology Dialectica Categories Surprising Application: mapping cardinal invariants
Equivalence of Logics: the categorical proof theory perspective
Technology Equivalence of Logics: the categorical proof theory perspective
Fibrational Versions of Dialectica Categories
Technology Fibrational Versions of Dialectica Categories
Dialectica Categories Surprising Application: Cardinalities of the Continuum
Technology Dialectica Categories Surprising Application: Cardinalities of the Continuum
Logics of Context and Modal Type Theories
Technology Logics of Context and Modal Type Theories
Revisiting a Brazilian WordNet
Technology Revisiting a Brazilian WordNet
Lexical Resources for Portuguese
Education Lexical Resources for Portuguese
Logic Seminar Spring 2011
Technology Logic Seminar Spring 2011
Game Semantics Intuitions
Technology Game Semantics Intuitions
Charting Searchland, ACM SIG Data Mining
Technology Charting Searchland, ACM SIG Data Mining