Linear contextual modal type theory

Anders Schack-Nielsen, Carsten Schürmann

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

    Fingeraftryk

    Dyk ned i forskningsemnerne om 'Linear contextual modal type theory'. Sammen danner de et unikt fingeraftryk.

    Keyphrases

    Computer Science