The lambda sigma calculus and strong normalization

Anders Schack-Nielsen, Carsten Schürmann

Publikation: Bog / Antologi / Rapport / Ph.D.-afhandlingRapportForskning

Fingeraftryk

Dyk ned i forskningsemnerne om 'The lambda sigma calculus and strong normalization'. Sammen danner de et unikt fingeraftryk.

Keyphrases

Computer Science