Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Murase, Yuito"'
This paper investigates modal type theories by using a new categorical semantics called change-of-base semantics. Change-of-base semantics is novel in that it is based on (possibly infinitely) iterated enrichment and interpretation of modality as hom
Externí odkaz:
http://arxiv.org/abs/1804.02809
Modal types -- types that are derived from proof systems of modal logic -- have been studied as theoretical foundations of metaprogramming, where program code is manipulated as first-class values. In modal type systems, modality corresponds to a type
Externí odkaz:
http://arxiv.org/abs/1801.09225