research
∙
04/09/2018
Modality via Iterated Enrichment
This paper investigates modal type theories by using a new categorical s...
share
research
∙
01/28/2018
Use your Google Account to sign in to DeepAI
