The top documents tagged [modal type theories]

Intuitionistic Modal Logic: fifteen years later
Education Intuitionistic Modal Logic: fifteen years later

243 views