To Infinite Possibilities and Beyond...

Context Inducing Nouns

Partial Compilers

Constructive Hybrid Logics

Little engines of inference: contexts for quantification

A Bridge Not too Far

Lorenzen

Basic Constructiv Modality

Fun with Constructive Modalities

Natural Number Objects in Dialectica Categories

Dialectica Categories... and Lax Topological Spaces?

Dialectica Categories Surprising Application: mapping cardinal invariants

Equivalence of Logics: the categorical proof theory perspective

Fibrational Versions of Dialectica Categories

Dialectica Categories Surprising Application: Cardinalities of the Continuum

Logics of Context and Modal Type Theories

Revisiting a Brazilian WordNet

Lexical Resources for Portuguese

Logic Seminar Spring 2011

Game Semantics Intuitions