×

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