ModalTypeTheory icon indicating copy to clipboard operation
ModalTypeTheory copied to clipboard

verified publisher icon L-TChen
→

Metadata

A zoo of intuitionistic modal type theories

Incomplete. Don't look.

← Metadata

20
Stars
3
Forks
Watchers

Owner

verified publisher icon L-TChen

Metadata

Back