DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Valeria de Paiva
Valeria de Paiva
Dual-Context Calculi for Modal Logic
Categorical Models for Intuitionistic and Linear Type Theory
Kolgomorov-Veloso Problems and Dialectica Categories
Categorical and Kripke Semantics for Constructive S4 Modal Logic
Curriculum Vitae
Valeria De Paiva
Fibrational Modal Type Theory
Self Evaluation 2012-2017
Categorical and Kripke Semantics for Constructive Modal Logics
Intuitionistic Modal Logic: 15 Years Later
Dialectica Categories for the Lambek Calculus
Fuzzy Topological Systems∗
On Prawitz' Ecumenical System
Depaiva-Resume.Pdf
Proof Nets for Bi-Intuitionistic Linear Logic
23Rd International Conference on Types for Proofs and Programs
Categorical Semantics of Linear Logic for All
Modal Type Theory
Top View
Dialectica and Kolmogorov Problems