5 papers
Cover Semantics for Intuitionistic Modalities
Nachiappan Valliappan
Intuitionistic modal logic (IML) has inspired several developments in programming languages including modal type systems for staging, computational effects and language-based secur…
Lax Modal Lambda Calculi
Nachiappan Valliappan
Intuitionistic modal logics (IMLs) extend intuitionistic propositional logic with modalities such as the box and diamond connectives. Advances in the study of IMLs have inspired se…
UniAR: A Unified model for predicting human Attention and Responses on visual content
Peizhao Li, Junfeng He, Gang Li +10
Progress in human behavior modeling involves understanding both implicit, early-stage perceptual behavior, such as human attention, and explicit, later-stage behavior, such as subj…
Differentially Private Heatmaps
Badih Ghazi, Junfeng He, Kai Kohlhoff +4
We consider the task of producing heatmaps from users' aggregated data while protecting their privacy. We give a differentially private (DP) algorithm for this task and demonstrate…
Normalization for Fitch-Style Modal Calculi
Nachiappan Valliappan, Fabian Ruch, Carlos Tomé Cortiñas
Fitch-style modal lambda calculi enable programming with necessity modalities in a typed lambda calculus by extending the typing context with a delimiting operator that is denoted…