Frontiers of Combining Systems

DOI10.1007/11559306zbMath1171.68409OpenAlexW4205914269MaRDI QIDQ5491903

Joachim Niehren, Gert Smolka, Jan Schwinghammer

Publication date: 10 October 2006

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11559306

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Related Items

A concurrent lambda calculus with futures