Hiroshi Nakano

A modal typing system for self-referential programs and specifications

2017 · arXiv (Cornell University)

This paper proposes a modal typing system that enables us to handle self-referential formulae, including ones with negative self-references, which on one hand, would introduce a logical contradiction, namely Russell's paradox, in the conventional setting, …