20 citations · 54 across the 9 of their papers we have counts for
1 paper · 1 filter
G. A. Kavvos
It is informally understood that the purpose of modal type constructors in programming calculi is to control the flow of information between types. In order to lend rigorous suppor…