×

zbMATH — the first resource for mathematics

Typing streams in the \({\Lambda}{\mu}\)-calculus. (English) Zbl 1351.68065

MSC:
68N18 Functional programming and lambda calculus
PDF BibTeX XML Cite
Full Text: DOI