Linear-time temporal logic (LTL) and functional reactive programming (FRP) are related via
a Curry–Howard correspondence. Based on this observation, we develop a common …

Contextual type theories are largely explored in their applications to programming
languages, but less investigated for knowledge representation purposes. The combination …

In this paper, we present a modal language for contextual computing, corresponding to the
fragment of constructive KT with necessity and possibility operators. We interpret absolute …