The lambda sigma calculus and strong normalization

Anders Schack-Nielsen, Carsten Schürmann

Research output: Book / Anthology / Report / Ph.D. thesisReportResearch

Fingerprint

Dive into the research topics of 'The lambda sigma calculus and strong normalization'. Together they form a unique fingerprint.

Engineering & Materials Science