1 paper
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…