Cubical modal type theories

Magnus Baunsgaard Kristensen

    Publikation: Bog / Antologi / Rapport / Ph.D.-afhandling › Ph.d.-afhandling

    Fingeraftryk

    Dyk ned i forskningsemnerne om 'Cubical modal type theories'. Sammen danner de et unikt fingeraftryk.

    Keyphrases

    Engineering

    Computer Science