Cubical modal type theories

Magnus Baunsgaard Kristensen

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

Fingeraftryk

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

Keyphrases

Computer Science

Engineering