Modal type system
Frank Pfenning and Rowan Davies.
A judgmental reconstruction of modal logic.
Mathematical Structures in Computer Science 11(4), 511–540, 2001.
DOI: 10.1017/S0960129501003322.
Frank Pfenning and Rowan Davies.
A judgmental reconstruction of modal logic.
Mathematical Structures in Computer Science 11(4), 511–540, 2001.
DOI: 10.1017/S0960129501003322.