The λσ-Calculus and Strong Normalization

Anders Schack-Nielsen

    Publikation: Bog / Antologi / Rapport › Rapport › Forskning

    Fingeraftryk

    Dyk ned i forskningsemnerne om 'The λσ-Calculus and Strong Normalization'. Sammen danner de et unikt fingeraftryk.

    Keyphrases

    Computer Science